sbool getBoolOpt(O o, S field) {
  ret getBoolOpt(field, o);
}

sbool mapMethodLike getBoolOpt(S field, O o) {
  ret eq(Bool.TUE, getOpt(o, field);
}