Resolve crash on existentially qualified type variables that already appear in the left-hand side of the type