This new check permits code such as the following:

  class B cls a where
    meth :: cls a => a -> a

  class B C a => C a where

This code can never cause the constraint solver to diverge, adding
infinite numbers of superclasses, because C is not mentioned as a
superclass of B.