monad_xyz (Monad)