15 May
2016
15 May
'16
4:58 p.m.
Hello,
If/when Applicative Do drops, would using 'return' force monad semantics on a do-block that could otherwise be applicative? That's the only thing that comes to mind. Otherwise yeah, I've been using 'pure' exclusively for a while.
I think so, at least until the "Monad of no return" proposal (https://ghc.haskell.org/trac/ghc/wiki/Proposal/MonadOfNoReturn) lands. Best regards, Marcin Mrotek