[fp]: The first steps in Haskell