Agda.TypeChecking.Monad.Constraints
getConstraints
lookupConstraint
takeConstraints
withConstraint
addConstraints
buildConstraint