Since list items (unlike pair-list items) at the end of a list can be accessed just as efficiently as items at the start, allow a repetition in places other than the end of a List pattern.
fun
| sum_left_to_right([]): 0
| sum_left_to_right([a, ..., b]):
sum_left_to_right([a, ...]) + b
Since list items (unlike pair-list items) at the end of a list can be accessed just as efficiently as items at the start, allow a repetition in places other than the end of a
List
pattern.