{-# LANGUAGE Haskell2010 #-} module T5820 where data Foo = Foo instance Eq Foo