constraint-tuples

This library provides classes that emulate the behavior of GHC's constraint tuple syntax. Unlike GHC's built-in constraint tuples, the classes in this library can be partially applied.

This library exposes two different modules that are semantically identical, but compile to slightly different Core:

• Data.Tuple.Constraint: A CTupleN class compiles to a dictionary data type with N fields.
• Data.Tuple.Constraint.ClassNewtype: A CTupleN class compiles to a newtype around the corresponding built-in constraint tuple type with N arguments.