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


-- | Type-safe unconstrained dynamic typing
--   
--   A library of monadic typed keys which can be compared for equality,
--   returning an equality proof if equal. See
--   <a>http://dx.doi.org/10.1145/2976002.2976008</a> The authors of the
--   cited document and of this package are disjoint.
@package key
@version 0.1.0.0

module Control.Monad.Trans.Key
data Keyring s a
data Key s a
newKey :: Keyring s (Key s a)
unKeyring :: (forall s. Keyring s a) -> a
instance forall k (s :: k). GHC.Base.Monad (Control.Monad.Trans.Key.Keyring s)
instance forall k (s :: k). GHC.Base.Applicative (Control.Monad.Trans.Key.Keyring s)
instance forall k (s :: k). GHC.Base.Functor (Control.Monad.Trans.Key.Keyring s)
instance forall k1 k2 (s :: k2). Data.Type.Equality.TestEquality (Control.Monad.Trans.Key.Key s)