Moreover canonicalisation now is "clever", i.e. it never canonicalizes a class 
constraint if it can already discharge it from some other inert or previously
encountered constraints. See Note [Avoiding the superclass explosion]