module M2 where import M1 ( C ) instance C Int where f x = mod x 3 == 0