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

[Ganesh Sittampalam]

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?

Cheers,

Ganesh