Re: [Haskell-cafe] Problems with nested Monads

Job Vranish wrote:

Yeah, I think the problem with my case is that while M is a specific monad (essentially StateT), N can be an arbitrary monad, which I think destroys my changes of making a valid joinInner/joinOuter/distribute. Maybe someday Haskell will infer valid joinInner/joinOuter for simple cases :D

Another alternative is to define a typeclass DistributesOverM, and provide instances for the particular monads, n, you care about. Just because you can't do it in general doesn't mean you can't do it :) -- Live well, ~wren