Re: Discussion: Add total indexing function to Data.Sequence