Data.Type.Quantifier

data Some f

some

withSome

onSome

type Some2 f

data All f

data f :-> g

data p :--> q