Peppered mince and aged cheddar pie

Ingredients

• 2 tablespoon olive oil
• 1 medium onion, diced
• 2 clove garlic, crushed
• 1 star anise
• 300 gram 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 gram aged cheddar (this recipe used Meyer), grated or crumbled
• Milk, for glazing