pub trait TagKind { }
A type parameter for tagged values either Explicit or Implicit.
Explicit
Implicit