Is it possible to automate the making of type erasure?

[young (rtSwift)]

Is Unlock Existential Types for All Protocols "generalized existentials"?