[Haskell-cafe] Forcing the kind in data