I agree about Tuples. The most elegant implementation of Tuples I’ve seen is in SML, where tuples are really just syntatic sugar for records. For example, a record {#1 “a”, #2 “b”} is equivalent to the tuple (“a”, “b”). The compiler knows that if the keys are sequential numbers, then these are tuples. Writing (“a”, “b”) is just syntatic sugar.