Data.Profunctor.Sieve

class Sieve p f

class Cosieve p f