1 2 3 4 5 6 7 8
abstract Morefood = Food ** { cat Question ; fun QIs : Item -> Quality -> Question ; Pizza : Kind ; }