Sort u →
  {α : Type u_1} →
    [inst : BEq α] →
      [inst_1 : Hashable α] →
        Aesop.OrderedHashSet α →
          {α' : Type u_1} → [inst' : BEq α'] → [inst'_1 : Hashable α'] → Aesop.OrderedHashSet α' → Sort u