module MinimalDefinitionMeet where

data X = X

instance Eq X where
  (==) = _