We present a new approach to [the problem of composing monads] which is general in that nearly all monads compose, mathematically elegant... Posted to theory by andrew cooke on 5/14/04; 6:57:41 PM