Language.PureScript.TypeChecker.Unify

freshType

solveType

substituteType

unknownsInType

unifyTypes

unifyRows

alignRowsWith

replaceVarWithUnknown

replaceTypeWildcards

varIfUnknown