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


-- | Dependent sum type
--   
--   Dependent sum type
@package exist
@version 0.1.1.0

module Data.Exists.Constrained

-- | Dependent sum
data E c a
E :: a k -> E c a
[unE] :: E c a -> a k
liftE :: (forall k. c k => a k -> b k) -> E c a -> E c b