.Algebraic.Kind.
Defined as enum for tagged algebraics and as unsigned for common algebraics.
TaggedVariant.
See Implementation