The idea is to generate the default value of any record (and inductive types).
Check tests to see how it works :)
ppx_default