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

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