Partially fix unification in recursive structural types