class A a where foo :: a class A a where bar :: a -- 5:1-6:13: Class A has already been defined in this module.