class FooBar a where foo :: a -> a bar :: a -> a instance FooBar Integer where foo x = x main = "Not to be executed." -- 5:1-6:14: Method bar is not defined.