Problem with backtracking monad transformer

Andrew J Bromage
Mon, 3 Feb 2003 10:57:16 +1100

G'day all.

On Fri, Jan 31, 2003 at 09:05:11AM -0000, Guest, Simon wrote:

> This bit I don't understand.  I only have one monad transformer, which I use to 
> transform my SM monad.

What I mean is (and recall that I have not looked very hard at your
program, just the BACKTR implementation, so I'm not sure what
semantics you were really after) you may have meant to stack a state
monad transformer on top of BACKTR, rather than the other way.

Good luck.

Andrew Bromage