class F a where
  f :: a -> Int

instance F Int where
  f = id

instance F String where
  f = read