[Haskell-cafe] type constructor confusion