1 2 3 4 5
-- !!! Correct class export module M(C(m1,m2,m3)) where class C a where m1 :: a m2, m3 :: a