2 ms·There are other functions MyBool a -> MyBool a, such as not = \b x y -> b y x.by tromp 1y agoThere are other functions MyBool a -> MyBool a, such as not = \b x y -> b y x.