Language.PureScript.TypeChecker.Skolems

newSkolemConstant

introduceSkolemScope

newSkolemScope

skolemize

skolemizeTypesInValue

skolemEscapeCheck