3 ms·

No instance for (Eq (MyBool a0 -> a0 -> a0 -> a0)) arising from a use of ‘==’ Undecidability of function equality aside, we could indeed define "myIf =

by tromp 1y ago

No instance for (Eq (MyBool a0 -> a0 -> a0 -> a0)) arising from a use of ‘==’ Undecidability of function equality aside, we could indeed define "myIf = id" instead.

Y_Y 1y ago
Fair point, though if I remeber correctly there is only one function with type a->a and so we get equality automatically. (This may be untrue in the presence of the likes of unsafeCoerce.)
- tromp 1y ago
  There are other functions MyBool a -> MyBool a, such as not = \b x y -> b y x.