fusion for free - efficient algebraic effect handlers .
Extensible effects: an alternative to monad transformers