Description
Provides compatibility support for Data.Type.Equality in Haskell. Type equality tools let code express and use evidence that two types are the same.
It is useful for libraries that support multiple compiler versions while using advanced type-level programming. It is a compile-time developer dependency and normally appears indirectly through other Haskell packages.