A syntax for unions of constraints in Haskell - View it on GitHub