{-# LANGUAGE TypeOperators, CPP #-}#include "macros.h"LANGUAGE_POLYKINDSLANGUAGE_UNSAFE-- | This module is kind-polymorphic if @PolyKinds@ are available (GHC 7.6+).moduleType.Eq.Unsafewhereimport{-# SOURCE #-}Type.EqimportUnsafe.Coerce-- | Very unsafe! The same rules apply as for 'unsafeCoerce'.unsafeCoercion::a:~:bunsafeCoercion=unsafeCoerceEq-- | Very unsafe!unsafeOuterEq::OuterEqfaunsafeOuterEq=unsafeCoerceOuterEq-- | Very unsafe!unsafeInnerEq::InnerEqiaunsafeInnerEq=unsafeCoerceInnerEq