Description
A small Haskell library that defines Boring and Absurd types and classes. These abstractions help describe types that have one obvious value or no possible value, which is useful in generic programming and proofs.
Developers use it when type-level guarantees make code clearer or safer. It is a specialist library that usually appears as a dependency of more visible Haskell packages.