-- !!! Testing duplicate members
class C1 a where m :: a
class C2 a where m :: a