UnboxedTuples implies UnboxedSums

Summary

Currently, UnboxedTuples implies UnboxedSums. This behavior is documented, but it is extremely strange! In particular, UnboxedTuples predates UnboxedSums by several decades. The implication should obviously go the other way.

GHC version used:

Optional:

Operating System:
System Architecture:

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information