module M1 (X(..)) where

data X = X | Y
data Z = Z