Re: [GHC] #15001: Add strict product field demands to lambda binders