Description
Defines a logically uninhabited data type compatible with Haskell 98. An uninhabited type represents a value that should never exist, which is useful for impossible cases and type-level design.
It is useful for generic programming, APIs with impossible branches, compatibility code, and libraries that need a Void-like type on older language baselines. It is a small foundational developer dependency.