-- !!! Correct class export
module M(C(..)) where
class C a where
  m1 :: a
  m2, m3 :: a