Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/prelude/Prelude/Eq_Either.hs
module Prelude(Eq(..)) where instance (Eq a, Eq b) => Eq (Either a b) where Left a == Left b = a == b Right a == Right b = a == b _ == _ = False