let maybe o n s = match o with
  | None   -> n ()
  | Some x -> s x