Purity

enum Purity[a: Type, b: Type, ef: Eff]Source
case Pure(a -> b)case Impure(a -> b \ ef)