module T17853A where data X = X { name :: String } deriving Show data Y = Y { age :: Int } deriving Show