Improve existential subtyping when used in compound types.
Avoid redundant disambiguation