Re: [GHC] #10715: Possible regression in Coercible a (X a) between 7.8 and 7.10