Description
Provides basic singleton types and definitions for Haskell. Singletons connect type-level values with term-level witnesses, letting programs carry compile-time information into runtime code.
It is useful for dependent-style programming, type-safe APIs, generic libraries, and compile-time validation. It is an advanced developer library and requires strong understanding of Haskell's type system.