There are also techniques like type tags and refinement types in some programming languages, which serve a similar effect. It's really useful for marking data a

There are also techniques like type tags and refinement types in some programming languages, which serve a similar effect. It's really useful for marking data as validated or as earmarked for a given purpose as it flows through layers of a system.