class Foo a where
    foo :: a
    
instance Foo Integer where
    foo = foo
    bar = foo
    
main = "Not to be executed."
--
7:5-7:14: Method bar is not defined in the type class Foo.