Code written when reading the book 'The Haskell Road to Logic, Math and Programming'