[Haskell-cafe] "Inconsistency" in support for phantom types?