Algebraic JSON Spec

JSON specification, validating, serialization and generic programming. Inspired by Algebraic Data Type in Haskell.

Features

Tagless disjoint union.
Doc generation.
Runtime data format checking.
Random sample generation.
Generic programming tools.
Efficient binary serialization & deserialization.