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