Re: [GHC] #11171: the 'impossible' happened when messing with existenial quantification and typed holes