Re: [GHC] #8119: better type inference for lambdas