exist-0.1.1.0: Dependent sum type
Data.Exists.Constrained
data E c a Source #
Dependent sum
Constructors
Fields
liftE :: (forall k. c k => a k -> b k) -> E c a -> E c b Source #