Module type Data.TaggedType

Datatype already identified by unique integers.

type t
val id : t -> string