I would be interested in more sophisticated type definitions. That is, algebraic data types. One can achieve this to a degree by storing the data as JSON, but

I would be interested in more sophisticated type definitions. That is, algebraic data types. One can achieve this to a degree by storing the data as JSON, but it would be nice to be able to remove the chance of introducing errors when converting to/from JSON.