ocaml >= 4.0 for qcheck (forgot the small GADT inside)