Allowing negative indices makes writing code like ...

# random

[amaranth]

Allowing negative indices makes writing code like list[-1] nicer but means you might get a surprising result when you write list[computedIndex]