Mashed potatoes - with a difference

For dinner tonight we had some simple grilled steak, steamed carrots and mashed potatoes. One of the best flavors for carrots is ginger, so I thought maybe we should have ginger mashed potatoes.
A couple of weeks ago we paid a visit to Penderry's spice shop in Fort Worth and bought a large bag of crystallized ginger. The fresh ginger on the fridge had grown a bit of a beard and needed to be tossed out anyway!
So the potatoes were simmered, the carrots steaming above them, with a few slices of crystallized ginger. When the potatoes were cooked, I fished out the now soft crystallized ginger and chopped it finely. Rice the potatoes, add some butter, milk, salt, pepper, and the chopped ginger. Stir, adjust seasoning and serve on warmed plates with the carrots and steak. Delicious!