Data interchange with algebraic data types.
FineTypes is an interface description language (IDL) focussing on types
Go Standard Library Template Enhancing Static Source Code Tooling for Hypermedia Web Applications