haskell-type-equality: haskell-type-equality (Data.Type.Equality compat package)
haskell-type-equality:
haskell-type-equality: This library defines a propositional equality data type, shims 
haskell-type-equality: Data.Type.Equality as well as possible for older GHCs (< 7.8).
haskell-type-equality:
haskell-type-equality: https://hackage.haskell.org/package/type-equality
haskell-type-equality:
haskell-type-equality:
haskell-type-equality:
haskell-type-equality:
haskell-type-equality: