typical 0.0.1

Algebraic data types for data interchange.