let main =
  match (some_value) {
  | Some ({ box = _; other_box = (Some (_) & got_you) }) -> got_you
  | None -> None
  }