How are tuples laid out in memory?
My assumption is that it's similar to a struct in that the alignment is equal to the size of the largest type, with additional padding added ad hoc to keep the overall tuple size a multiple of the alignment. Is this correct?