Sort u →
  {α : Type w} →
    {m : Type w → Type w'} →
      {β : Type w} →
        Std.Iterators.Types.Drop α m β →
          {α' : Type w} → {m' : Type w → Type w'} → {β' : Type w} → Std.Iterators.Types.Drop α' m' β' → Sort u