quantification-0.7.0: Rage against the quantification

Index - M

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