[Haskell-cafe] data vs type