Language.PureScript.TypeChecker.Unify
freshType
solveType
substituteType
unknownsInType
unifyTypes
unifyRows
alignRowsWith
replaceVarWithUnknown
replaceTypeWildcards
varIfUnknown