Write a function that takes two functions of type (bool -> bool) -> bool and tests whether they are equal. (Hint: The domain type has four possible values.)