Types [Haskell00 p135]
[Haskell00 p154]
Exs2 [Haskell00 p163] 2.1, 2.3, 2.4, 2.6, 2.8, 2.9, 2.11