Detecting use-cases for GADTs in OCaml | Mads Hartmann
https://mads-hartmann.com/ocaml/2015/01/05/gadt-ocaml.html
46800306