dryad/type-check/invoke
ConstraintReduction
ConstraintReduction.str
Constraints
Constraints.str
InferringTypeArguments
InferringTypeArguments.str
StepAppropriate
StepAppropriate.str
StepSearch
StepSearch.str
StepSignature
StepSignature.str