Functor.hs exercises completed