Description
Provides type-level booleans for Haskell. Type-level booleans let code express true or false decisions in the type system, enabling stronger compile-time guarantees.
It is useful for advanced APIs, generic programming, type-level configuration, and libraries that need compile-time branching. It is a developer library and has no standalone interface.