type-equality (hackage): Haskell definition of type equality, coercion/cast and other operations.
Keywords: bsd3|data|dependent-types|library