Phantom Type

Phantom types are type parameters that appear in a type's definition but not in its value constructors. They are used to encode additional static information at the type level without affecting runtime representation. This technique is common in Haskell for enforcing invariants, such as distinguishing between different kinds of data (e.g., meters vs. feet) or tracking state transitions (e.g., open vs. closed files), all with zero runtime overhead.