data (Eatable a) => FoodBox a = F [a]