Comonad.hs
Functor.hs
Recursion.hs
Comonad
Functor
Monad