1 2 3 4 5
concrete FoodmarketEng of Foodmarket = FoodEng, FruitEng, MushroomEng ** { lin FruitKind x = x ; MushroomKind x = x ; }