This is an extension to JSON that allows arbitrary expressions as map (née object) keys and adds additional primitive types, including characters, bytes, and distinct integers.
This is an extension to JSON that allows arbitrary expressions as map (née object) keys and adds additional primitive types, including characters, bytes, and distinct integers. It also adds metadata, which allows arbitrary annotations on values.
For _strict_ JSON, you want something like Obj[Mu[Json]].