Description
Provides classes and data structures for working with Haskell types indexed by data kinds. This helps advanced code carry more information in the type system and keep related values tied to those type-level indexes.
It is useful for verification-oriented libraries, strongly typed APIs, symbolic tools, and projects that rely on DataKinds. It is an advanced developer library and has no standalone interface.