Re[2]: [Haskell-cafe] Type unions