{α : Type u} →
  {β : Type v} →
    [inst : Ord α] →
      [Std.OrientedOrd α] →
        α →
          (Option β → Option β) →
            (t : Std.DTreeMap.Internal.Impl α fun x => β) → t.Balanced → Std.DTreeMap.Internal.Impl α fun x => β