Functor og Monad for Perhaps.