Make lists with minimum lengths be a subtype of sequences.