Purity3
enum Purity3[a: Type, b: Type, c: Type, d: Type, ef: Eff]
Sourcecase Pure(a -> (b -> (c -> d)))
case Impure(a -> (b -> (c -> d \ ef)))
enum Purity3[a: Type, b: Type, c: Type, d: Type, ef: Eff]
Sourcecase Pure(a -> (b -> (c -> d)))
case Impure(a -> (b -> (c -> d \ ef)))