transform View.t to GADT ? #7
Description
- https://mads-hartmann.com/ocaml/2015/01/05/gadt-ocaml.html
- https://www.cl.cam.ac.uk/teaching/1516/L28/gadts.pdf
- https://www.reddit.com/r/ocaml/comments/1jmjwf/explain_me_gadts_like_im_5_or_like_im_an/
- https://discuss.ocaml.org/t/lwt-core-refactored-and-documented-to-be-contributor-friendly/161/7
- https://blog.janestreet.com/why-gadts-matter-for-performance/
- https://discuss.ocaml.org/t/how-to-read-understand-function-signature-with-gadt/2250