exist-0.1.0.0: Dependent sum type
Data.Exists.Constrained
data E c a Source #
Dependent sum
Constructors
Fields