Sounds to me like this would have all the bad sides of ppx (depending on
non-stable APIs such as compiler-libs), in addition to committing
generated code to git. Generating the first time is one thing, but if
you modify your type, now you need to remember to update its type
representation as well?