class Eatable a where
  eat :: a -> String