[Haskell-cafe] About "Fun with type functions" example