module M1 where

data X = X | Y
data Z = Z