A library with an encoding of higher kinded types in OCaml - View it on GitHub