data L = A | B data H a = H a data X a = Some (L -> H a)
I\'m trying to derive Eq for X:
derive instance eqX :: Eq a => Eq (X a