$sel:inertGivens:GivenSolverState | Language.PureScript.TypeChecker.Entailment.Coercible |
$sel:inertGivens:WantedSolverState | Language.PureScript.TypeChecker.Entailment.Coercible |
$sel:inertWanteds:WantedSolverState | Language.PureScript.TypeChecker.Entailment.Coercible |
$sel:unsolvedGivens:GivenSolverState | Language.PureScript.TypeChecker.Entailment.Coercible |
$sel:unsolvedWanteds:WantedSolverState | Language.PureScript.TypeChecker.Entailment.Coercible |