Constructor tag

A runtime marker that distinguishes which variant of a Sum type a value belongs to, enabling Pattern matching to dispatch on the correct case. Not to be confused with Type variants, which are static properties.