module T5820 where
data Foo = Foo
instance Eq Foo