Data.Exists.Constrained

Documentation

data E c a

Dependent sum

Constructors

(Typeable k, c k) => E

Fields

• unE :: a k