Motivation

The result values of compactAdd# and compactAddWithSharing# are always in normal form. Unfortunately, the compiler doesn't know that.

Proposal

Use the same trickery that seq# employs to teach GHC what's what. Be sure to make the pointer field in Compact strict to take advantage of this.