definition module test

class c c
where
	m1 :: c
	m2 :: c