mashed potatoes mixed with egg, butter, etc and sometimes cream, piped on to a baking sheet and baked or browned under the grill