Convenience functions and template haskell for working with constraints - View it on GitHub