Data-directed programming in Haskell (SICP2.4.3)