3 ms·
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 o
by 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 agoThere are other functions MyBool a -> MyBool a, such as not = \b x y -> b y x.