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".