class Foo a where
    foo :: a
    bar = foo
    
main = "Not to be executed."
--
4:5-4:14: Method bar is not defined in this class.