Template:Haskell chapter/Fun with Types