{ρ : Type} →
  (pat : ρ) →
    (s : String.Slice) →
      [String.Slice.Pattern.BackwardPattern pat] →
        Std.Iterator (String.Slice.Pattern.ToBackwardSearcher.DefaultBackwardSearcher pat s) Id
          (String.Slice.Pattern.SearchStep s)