Language.PureScript.TypeChecker.Unify

unifyTypes

unifyRows

unifiesWith

replaceVarWithUnknown

replaceTypeWildcards

varIfUnknown