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