Comment by Neynt

x is a list. This is OCaml’s GADT syntax: https://dev.realworldocaml.org/gadts.html