{α : Type u} →
  {β : α → Type v} →
    [inst : Ord α] →
      [Std.OrientedOrd α] →
        [Std.LawfulEqOrd α] →
          {k : α} →
            (Option (β k) → Option (β k)) →
              Std.DTreeMap.Internal.Cell α β (compare k) → Std.DTreeMap.Internal.Cell α β (compare k)