class Foo a
class Foo a => Bar a
class
    (Foo a, Bar a) =>
    Baz a
class
    ( Foo a -- Foo?
    , Bar a -- Bar?
    , Baz a -- Baz
    ) =>
    BarBar a