There are seven functions with type `Bool -> Bool`. The could be named: - identity - NOT - AND - NAND - OR - XOR - NOR There are two functions with type `Bool -> Bool -> Bool`: - == - \=
