unifyFlattenedRecs -> unifyFlattened
FreeTypeVars.NewSubst extends FreeTypeVars
Parameterized TypeVar data type