etc_: there is also that family of projects:
https://bitbucket.org/camlspotter/typpx
https://bitbucket.org/camlspotter/ppx_implicits
There was a talk at the OCaml workshop some time ago