Part 2 of the Haskell journey