Purity2
enum Purity2[a: Type, b: Type, c: Type, ef: Eff]Sourcecase Pure(a -> (b -> c))case Impure(a -> (b -> c \ ef))Type of curried binary functions tagged as either pure or impure.
enum Purity2[a: Type, b: Type, c: Type, ef: Eff]Sourcecase Pure(a -> (b -> c))case Impure(a -> (b -> c \ ef))Type of curried binary functions tagged as either pure or impure.