pub trait Type { fn tag() -> u32; }