RE: [Haskell-cafe] Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`