Locally abstract type VS explicit polymorphism in polymorphic recursion context...

How do I Pattern-match GADT Types Get Alternative More Concrete Return Types?...

Scope error with locally abstract type when GADT constructor contains multiple type variables...

Using GADTs with higher order functions...

parametric GADT from the outside...

First class Modules with parametric types (The type constructor F.f would escape its scope)...

ocaml GADT : why "type a." needed?...

OCaml's `type a. a t` syntax...

Is there a way to parametrize a module on a type or escape a type from a module in OCaml?...

Locally abstract types and default values for optional arguments...

Parametric locally abstract type...

The signature for this packaged module couldn't be inferred in recursive function...