In the section “Reading Type Errors - p 72 ePub”, the second example is initially “(True, False) :: (Bool, Int)” but when walking through the error message, the example is now “(True, True) :: (Bool, Int)”. These should be consistent.
In the section “Working with Polymorphic Functions - p 80 ePub”:
- “In each of these types we’re using the type variables a and b” should be rephrased since the first two examples use a and the third uses a, b, and c.
- the apply function description says “and our section parameter is a value of type a”. section should be second.