Proposal: Add Chris Done's "om" combinator to Control.Monad

Ganesh Sittampalam ganesh at
Thu Jul 25 23:21:00 CEST 2013

On 25/07/2013 20:16, John Wiegley wrote:
> The function is:
>     om f m = (m >>=) . flip f
> A rider to this proposal is to also add "nom = flip om", but I can live
> without that one.  "om", however, is handy enough that I've started locally
> defining in all the modules where I find myself now reaching for it.

I have to admit my first reaction to this was that it isn't April 1st...

More seriously, "om" sounds useful but the name seems a bit obscure ("on
monad"?) Are there any examples of "nom" being useful?



More information about the Libraries mailing list