-- 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
--   <tt>Data.Type.Equality</tt> as well as possible for older GHCs (&lt;
--   7.8).
--   
--   <pre>
--   data a :~: b where
--       Refl :: a :~: a
--   </pre>
--   
--   The module <tt>Data.Type.Equality.Hetero</tt> shims <tt>:~~:</tt>
--   equality, for compilers with <tt>PolyKinds</tt>
@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>:~:</a>, <tt>a :~~:
--   b</tt> is inhabited by a terminating value if and only if <tt>a</tt>
--   is the same type as <tt>b</tt>.
data () => (a :: k1) :~~: (b :: k2)
[HRefl] :: forall {k1} (a :: k1). a :~~: a
infix 4 :~~: