Data.Type.Equality compat package; profiling libraries

 This library defines a propositional equality data type,
 shims Data.Type.Equality.
 .
 The module Data.Type.Equality.Hetero shims :~~: equality, for
 compilers with PolyKinds.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.