I don't suppose there's a type which lugs around the total number of elements for sequences that are bounded? Turns out I have a class that takes a sequence and then cuts off different lengths during it's lifetime (so I can't just cut the sequence before passing it to the class). Passing the expected length along works but feels icky.