(fixes)
`Sorted` type with smart constructor

`indexBy` supports indexing infinite lists by infinitely-many indices