[Haskell-cafe] Name for the following combinators?

[Tom Ellis]

On Sat, Dec 28, 2013 at 04:18:30PM +0000, Tom Ellis wrote:
> On Sat, Dec 28, 2013 at 04:13:52PM +0000, Tom Ellis wrote:
> > On Sat, Dec 28, 2013 at 03:58:10PM +0000, Tom Ellis wrote:
> > > On Sat, Dec 28, 2013 at 04:47:40PM +0100, Hans Höglund wrote:
> > > > Recently I have found myself using these two combinators a lot: http://lpaste.net/97643
> > > 
> > > FYI it looks a lot like these give rise to a monad transformer.
> > 
> > Specifically, the following.  Careful though: I haven't made any effort to
> > check this satisfies the monad or transformer laws.
> 
> In fact, since is is 'n' that requires the 'Monad' constraint, I suspect
> you'll need to swap the order of the type arguments to get a monad
> transformer:

I keep typing too fast.  I mean "it is 'n' that requires the *Traversable*
constraint".