Another thing that making existential types explicit would hopefully enable is clearer syntax for existential metatypes, since instead of the .Type/.Protocol weirdness we could say that any (P.Type) is the type of all types conforming to P, and (any P).Type is the type of the existential itself.
1 Like