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