Re: More monad proposals (Was: 2014 Applicative => Monad proposal)