[Haskell-cafe] Re: QuickCheck Fun with Phantom Types