即将离开知乎

您即将离开知乎，请注意您的帐号和财产安全。

https://discuss.ocaml.org/t/binding-existentials-in-a-non-uniform-gadt/14809