If you do pursue this you might want to start by revisiting the draft @Austin wrote a couple years ago: https://github.com/austinzheng/swift-evolution/blob/az-existentials/proposals/XXXX-enhanced-existentials.md and subset out the relevant parts.