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

There are other functions MyBool a -> MyBool a, such as not = \b x y -> b y x.