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