completing List.hs
completing Functor.hs
Monad.hs