Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/prelude/Prelude/Eq_List.hs
module Prelude(Eq(..)) where instance Eq a => Eq [a] where [] == [] = True (a:as) == (b:bs) = a == b && as == bs _ == _ = False