1 2 3 4
-- !!! Cyclic class hierarchy module M where class C2 a => C1 a where f :: a class C1 a => C2 a where g :: a