久々にやってきました。

>> 754

ocaml-templates
http://pauillac.inria.fr/jfla/2004/actes/PS/02-maurel.ps

をがんばって読んでみてね！