[Haskell-cafe] Deconstructing types