Language.PureScript.TypeChecker.Unify

freshType

solveType

substituteType

unifyTypes

unifyRows

unifiesWith

replaceVarWithUnknown

replaceTypeWildcards

varIfUnknown