module M1 where

data X = Y