Composition of 3 effects, for the purpose of sharing an Interpreter.
Composition of 4 effects, for the purpose of sharing an Interpreter.