[Haskell-cafe] Effective function representation.