module M1 (X(X)) where

data X = X | Y