Whether something is boxed or not is relevant in practice for performance. It's reasonable to have a jargon where products, records, and structs are distinct co

Whether something is boxed or not is relevant in practice for performance. It's reasonable to have a jargon where products, records, and structs are distinct concepts.