let menu =
  match (choice) {
  | (Coffee | Tea) -> OK
  | Chocolate -> OK
  | Beer -> AreYouSure
  | _ -> KO
  }