Fill in missing Monad/Applicative/Functor stuff