[GHC] #8141: Liberalising IncoherentInstances