Higher-kinded programming in OCaml, as described in
Lightweight Higher-Kinded Polymorphism Jeremy Yallop and Leo White Functional and Logic Programming 2014
You can install higher using opam:
opam
opam install higher
higher