More details on Mushy Peas in this thread - Your favorite retro/forgotten/by-gone foods
Marrowfat Peas are the key to Mushy Peas.
I have had mashed peas as described in the OP. I prefer thick pea soup but mashed peas are better than just plain old peas rolling around a plate.