[Haskell-cafe] Fun with type functions