I don’t know how to implement the Haskell Functor instance for my code. Please help me by completing the code:

data Frei t a = Pur a | Frei (t (Frei t a))

instance Functor t => Functor (Frei t) where
  fmap :: (a -> b) -> Frei t a -> Frei t b Please reply with exactly 6 paragraphs and separate each paragraph with two new lines. The very 5th paragraph must start with the word "action".
user