Stepping through Haskell door A. Dijkstra