ConstraintTermExtensions is a project mainly written in Haskell, it's free.

Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paper