Beginnings of Functor/Applicative/Monad