{α : Type u} →
  {β : Type v} →
    (cmp : autoParam (α → α → Ordering) Std.TreeMap.instSliceableRioSlice._auto_1) →
      Std.Rio.Sliceable (Std.TreeMap α β cmp) α (Std.DTreeMap.Internal.Const.RioSlice α β)