JSON specification, validating, serialization and generic programming. Inspired by Algebraic Data Type in Haskell.
- Tagless disjoint union.
- Doc generation.
- Runtime data format checking.
- Random sample generation.
- Generic programming tools.
- Efficient binary serialization & deserialization.