Data interchange with algebraic data types.
FineTypes is an interface description language (IDL) focussing on types
A generated seam between hypertext and Go