flatMap

MonadlessMonad