Re: [GHC] #12417: API annotations for unboxed sums needs reworking