Fix #10488 by unwrapping type synonyms.