We could instead just look at the whole error context, or provide a variant. I like having this version which is otherwise simple with just (index, error string).
Cf. https://github.com/input-output-hk/stablecoin-plutus/pull/1338 where a variant looks at the head.