Re: [GHC] #10570: Too restrictive liberate coverage condition