module M1 (X) where

data X = X | Y