In early cook books, this dish is given as a way of using leftover roasted meat of any kind. This is a dish of cooked minced meat topped with mashed potato. The most prevalent ingredients used are red meat (lamb or beef), onions, gravy or sauce, a topping of mashed potato. Given the ingredients used, what would be the name of this dish?