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