Data.Type.Quantifier

data Some f

some

(>>-)

(>->)

withSome

onSome

msome

(>>=-)

data Some2 f

some2

(>>--)

(>-->)

withSome2

onSome2

msome2

(>>=--)

data Some3 f

some3

(>>---)

(>--->)

withSome3

onSome3

msome3

(>>=---)

data SomeC c f

someC

(>>~)

msomeC

(>>=~)

data Every f

data Every2 f

data Every3 f

data EveryC c f