Shower thought: are tuples less useful in PLs where the type system encodes the length of lists?