quantification-0.5.0: Rage against the quantification

Index - M

mapTopaz.Rec
maxBoundExistsData.Exists
minBoundExistsData.Exists
Monoid1Data.Monoid.Lifted
MonoidForallData.Exists
MonoidForeachData.Exists