module M1 (X(X), Z(..), foo) where data X = X | Y data Z = Z foo :: Int foo = 0 bar :: Int bar = 1