monad morphisms stub