Simple, functorial Bloom filter