module A where

data ADT a b = Z a b deriving Eq