(Not the OP) I don't know of any examples of using JSON to create types, but here [0] is a practical example of creating types dynamically from input, via writing a type-safe printf:

[0]: https://youtu.be/fVBck2Zngjo