Constraint package:ghc-lib-parser

This module defines types and simple operations over constraints, as used in the type-checker and constraint solver.
A hole in a constraint, like @f :: (_, Eq a) => ... Differentiated from TypeHole because a ConstraintHole is simplified differently. See Note [Do not simplify ConstraintHoles] in GHC.Tc.Solver.
Constraint