let option opt = function
  | NA -> true
  | Yes -> opt ()
  | No -> not (opt ())