Re: [GHC] #7481: Partially promoted data types