Re: [GHC] #10570: Terrible error message with fundeps and PolyKinds (was: Too restrictive liberate coverage condition)