Don Stewart\'s Haskell in the Large\'s presentation mentioned Phantom Types:
data Ratio n = Ratio Double 1.234 :: Ratio D3 data Ask ccy = Ask Doubl
