Jacob Stanley

> When you say "deriving MMonad", are you literally trying this? No, I mean deriving by hand. > You could do this, however, if you slightly refactor FooT Interesting! Are...

Hmm damn, GHC can't typecheck the derived code, I'll see if I can get an example together when I get time.

I was just trying to implement `MMonad` manually for a rather large stack, and I couldn't figure out how to use the fact that each transformer in the stack is...

@Gabriel439, thanks for the help. I can't seem to get that to type check if I change one of the `IdentityT` transformers to a different transformer, say `ExceptT`.

So then this comes back to my original question: > Am I missing something, or is this because monads don't compose? Is there an equivalent of monad transformers for the...

Thanks @erikd for bringing this up. @yav So if someone looked at how GHC implemented lexing of quasi-quotes you'd be happy to accept a PR? How would you see the...

Great thanks, I'll give it a shot.