module A(f) where

class A a where
  f :: a -> a

instance A Char where
  f=id