Re: [GHC] #12472: "lazy" is not optimized away