@Claes Wallin: both OCaml and ML have parametric polymorphism, but that's less expressive than GADT. OCaml, as of version 4.x (IIRC) also has GADTs