Hi all,
The core team has considered the feedback from the review so far and has decided the proposal should be returned for revision .
This proposal and implementation lay important groundwork, but it is clear from the review that work described in the "future directions" section is necessary to make this a complete and well-integrated language feature. There are also similarities to and differences with another feature of generalized existentials.
In order to better consider this proposal as one of a series of potential additions to the language, the core team is recommending that the proposal authors put together a manifesto outlining in more detail the full arc of these features, similar to the generics manifesto.
The authors expect to be able to present such a document soon, and rework this proposal to fit into that context, at which point we will re-open the review.
Thanks for your feedback so far.
Ben Cohen
Review Manager