3 ms·

yourIf == myId

• 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.