Steak and Guinness Pie

Diced beef, mushrooms and onion cooked in Guinness, topped with puff pastry. Mash or fries and veg.