In this video we give an example showing how Haskell's types can help us to avoid confusions.

We then discuss the types of the Boolean operations lifted to predicates, and show how λ-functions can be used to define these operations.