Data.Profunctor.Sieve
class
Sieve
p f
class
Cosieve
p f