You mean algebraic effects? Monad transformers are an effect system as well.