Peppered mince and aged cheddar pie

Ingredients

• 2 tablespoons olive oil
• 1 medium onion, diced
• 2 cloves garlic, crushed
• 1 star anise
• 300 grams prime beef mince
• 1 tablespoon plain flour
• 1/2 cup grated carrot
• 1 teaspoon dried thyme or oregano
• 1 tablespoon Worcestershire sauce
• ½-¾ cup water or vegetable stock
• 1/2 teaspoon sea salt
• 1/4 teaspoon black pepper
• 1-2 sheets flaky puff pastry (or half block)
• 100 grams aged cheddar (this recipe used Meyer), grated or crumbled
• Milk, for glazing