→ For the Filling
01 - 2 tablespoons olive oil
02 - 1 large onion, finely chopped
03 - 2 carrots, diced
04 - 2 celery stalks, diced
05 - 3 cloves garlic, minced
06 - 1.5 lbs ground beef
07 - 2 tablespoons tomato paste
08 - 2 tablespoons Worcestershire sauce
09 - 1 tablespoon fresh thyme leaves or 1 teaspoon dried
10 - 1 teaspoon fresh rosemary, finely chopped or 1/2 teaspoon dried
11 - 1 cup beef stock
12 - 3.5 oz frozen peas
13 - Salt and freshly ground black pepper, to taste
→ For the Cheddar Mash
14 - 2.5 lbs potatoes, peeled and cubed
15 - 1/4 cup unsalted butter
16 - 1/2 cup milk, warmed
17 - 1.5 cups sharp cheddar cheese, grated
18 - Salt and freshly ground black pepper, to taste
→ For Topping
19 - 1/4 cup extra sharp cheddar cheese, grated