Is constructing tuples more expensive than constructing records?
I would think (assume) they have the same cost...