module M2 where data X = X