Data.Type.Quantifier

data Some f

some

(>>-)

withSome

onSome

data Some2 f

some2

(>>--)

withSome2

onSome2

data Some3 f

some3

(>>---)

withSome3

onSome3

data SomeC c f

someC

(>>~)

data Every f

data Every2 f

data Every3 f