Re: [GHC] #11664: Core Lint failure when building warp-3.2.2