Last year I visited my brother in London and we went to a pie and mash restaurant near the West End. I can’t remember the name but you had a choice of about 10 different types of mash to choose from. I’m a bit bored of regular mash, does anyone have any recipes for something a bit different please?