Immediately obvious specializations are:
list[int]
tuple[int]
dict[any]

Binary subscript is not that common, so this might be marginal, but it is worth investigating.
Specialization of third-party classes, specifically numpy arrays, is also worth thinking about.