-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

-- | Data.Type.Equality compat package
--   
--   This library defines a propositional equality data type, shims
--   Data.Type.Equality as well as possible for older GHCs (<
--   7.8).
--   
--   
--   data a :~: b where
--       Refl :: a :~: a
--   
--   
--   The module Data.Type.Equality.Hetero shims :~~:
--   equality, for compilers with PolyKinds
@package type-equality
@version 1.0.1

-- | This module shims kind heterogeneous propositional equality.
module Data.Type.Equality.Hetero

-- | Kind heterogeneous propositional equality. Like :~:, a :~~:
--   b is inhabited by a terminating value if and only if a
--   is the same type as b.
data (a :: k1) :~~: (b :: k2)
[HRefl] :: forall {k1} (a :: k1). a :~~: a
infix 4 :~~:
