Home

ContextConstraints is an experimental GHC extension to allow duplicate instance declarations in Haskell. It uses the parameter types and the instance contexts to try choose the best of the duplicate instances. The ultimate goal is to make haskell more polymorphic, and therefore (even) more expressive.