I agree that I'd be far more likely to use these if they were named "conjoin" and "disjoin".
"some" and "every" create nicely readable code. "every-pred" and "some-fn" could be called "satisfies-every" and "satisfies-some", respectively.
https://hackage.haskell.org/package/lens-4.18.1/docs/Control...
https://gist.github.com/ChrisPenner/1f7b6923448b3396a45d04a2...