module A(method) where
class Class a where method :: a -> a