CRITICAL: Use for type-driven design. This skill is triggered by concepts like type state, PhantomData, newtype, marker trait, builder pattern, making invalid states unrepresentable, compile-time validation, sealed trait, and ZST. It is useful for implementing type-driven design patterns.