Language.PureScript.TypeChecker.Unify

freshType

solveType

substituteType

unknownsInType

unifyTypes

unifyRows

replaceVarWithUnknown

replaceTypeWildcards

varIfUnknown