static Bool not(Bool b) {
  ret b == null ? null : !b;
}