Re: [GHC] #14873: GHC HEAD regression (piResultTy)