Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/prelude/Prelude/Eq_Unit.hs
module Prelude(Eq(..)) where instance Eq () where a == b = True a /= b = False