ocaml already has generalised algebraic datatypes as of 4.0: http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.html#toc85 http://caml.inria.fr/pub/docs/

ocaml already has generalised algebraic datatypes as of 4.0: http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.html#toc85 http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.htm...