mushroom pie

Ingredients

• 1 tablespoon olive oil
• 1 onion – finely chopped
• 2 cloves garlic – crushed
• 1 small carrot – peeled and finely diced
• 600g mushrooms
• 2 dried chilis
• 15g dried mushrooms
• 2 tablespoons tomato puree
• 600g potatoes
• Milk (dairy or oat)
• Large knob of butter of dairy free alternative
• Salt and pepper