Universal (cross-language) extensible representation for algebraic data type instances.