Language.PureScript.TypeChecker.Skolems
newSkolemConstant
introduceSkolemScope
newSkolemScope
skolemize
skolemizeTypesInValue
skolemEscapeCheck