let unopt = function
  | Some v -> v
  | None   -> failwith "Cannot unopt None"