ruff

46d1eaa6 - [ty] Simplify recursive type normalization