union types in Haskell at library level

Scala and Ceylon have union types as language feature;
in Haskell one can have it as a library