Cryptol.TypeCheck.Solve

simplifyAllConstraints

proveImplication

wfType

wfTypeFunction

improveByDefaultingWith

defaultReplExpr

simpType

simpTypeMaybe