[Haskell-cafe] a question concerning type constructors