static transformable record Not<A>(A a) {
  Bool get(O o) { ret not(get((Bool) callF(a, o))); }
}