You may find this interesting (at least once it gets a little more developed again): https://github.com/wires/wtf https://github.com/wires/wtf type-checked JSO

You may find this interesting (at least once it gets a little more developed again): https://github.com/wires/wtf https://github.com/wires/wtf type-checked JSON w/ custom sum and product types