Use the type constructor operator for function types.
Apply the boolean identity function to the abstraction .