[Haskell-cafe] The implementation of Functional