Re: [GHC] #16221: Core Lint error with a data type