[Pitch] Constrained Existential Types

In case anyone missed it, this proposal is now under review over here:

Please ask further questions over on the review thread!

1 Like