Template:Haskell/Fun with Types