Variant with generic "mysterious" behaviour

Unfortunately there’s no good resource about GADTs in rescript that I know of, but there are quite a few of them in ocaml, the syntax is different but the language is extremely close, you can take a look at this tutorial for example
https://raphael-proust.gitlab.io/code/my-first-gadt.html