Unfortunately not. As far as I can tell, the architecture of the type checker isn’t really built for this sort of thing; it can’t easily support delaying expansion of type synonyms or running them backwards. I think it could be good to make the type checker a bit smarter with respect to this sort of thing, as I’m sure it would also be helpful if we could use type synonyms in error messages in some cases too; currently type synonyms are almost always fully expanded in error messages.