Resolve dependencies through ConstraintKinds

[jmcarthur]

Suppose I have this code:

class Foo a
class Bar a
type Baz a = (Foo a, Bar a)
class (Foo a, Bar a) => Qux a

It'd be pretty sweet if the dependence on Foo and Bar would appear in the generated diagram.