At 2001-11-29 11:13, Ashley Yakeley wrote:

Lifted monads look something like this:

data MyAction a = MkMyAction ((consts,vars) -> (vars,a)); instance Monad MyAction where etc.

Whoops, should be data MyAction a = MkMyAction ((consts,vars) -> IO (vars,a)); -- Ashley Yakeley, Seattle WA