representation in Haskell) · Proofs o Maybe as a functor o List as a functor o State as a functor o Continuation as a functor o Either as a functor o Reader as a functor o Writer as a functor 4. Monads of Haskell ·