1 2 3 4 5 6 7 8 9
module Ghost where data X = A | B deriving (Show) instance Eq X where A == A = True B == B = True _ == _ = False