Maybe something like this: Equivalence: unification of types (can't make I'll-typed substitutions) Output only effects: have your language define only one suc

Maybe something like this: Equivalence: unification of types (can't make I'll-typed substitutions) Output only effects: have your language define only one such monad About to depart on a flight, so can't elaborate further.