[Haskell-cafe] Posted code snippet for Ex. 12 of Ch. 5 of "Fun w/ Phantom Types".