RE: Proposal: Applicative => Monad: Is there any consensus?