Thank you for the PR, but it's not clear to me that Semiring is always the right choice here. Certainly, to be compatible with the non-indexed instances, it needs to be the "first" index somehow, but I don't know if that means zero necessarily. Nothing says the indices even have to come in increasing order. That said, we don't really have any laws which tell us what the index should mean in these instances.

Good points. Didn't think of this.

Does this imply that #21 should actually be closed? It would appear that there is no sensible way to do what it's asking.

I think so, thanks!

what about

mapWithIndex f (a :| fa) = f Nothing a :| mapWithIndex (Just >>> f) fa 

Good idea, that seems much better.

@safareli awesome. I've modified these accordingly.

Maybe is algebraic "+ 1", and that's what we need to do with the index type.

Welcome and thanks for making this pr @matthewleon!

Thanks!