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

		tromp 27 days ago \| parent \| context \| favorite \| on: When if is just a function There are other functions MyBool a -> MyBool a, such as not = \b x y -> b y x.