Description
Provides Haskell 98 phantom types that avoid passing unsafe dummy arguments. Phantom types carry type information without needing a runtime value, making APIs clearer and safer.
It is useful for typed configuration, identifiers, proxies, generic programming, and libraries that need type-level tags. It is a developer library and has no standalone interface.