--Testing deriving in the presence of shadowing
-- Very unsatisfactory error messages

data Planet = Mercury | Venus | Earth deriving Eq
let mercury = Mercury
Venus == Earth
data Planet = Mercury | Venus deriving Eq
Mercury == Mercury
mercury == Mercury
Mercury == Venus
Venus == Earth
Earth == Earth