Thanks. ppx_make was suggested earlier, however as I said, adding any PPX must be weighed against its maintenance and build time burden.
I suspect it will quickly be a friction/annoyance that option types have short hand syntax support and other types do not.
It’s already well established in OCaml that option types have shorthand syntax, e.g. optional parameters.