Not

const Not: <T>(…traits) => Modifier<T, "not"> & (…traits) => Modifier<Trait[], "not">

Koota’s Not, which also takes a predicted trait: a filter hands no record, so it returns koota’s own modifier.