instance (Food a) => Eatable a where
  eat x = munch x