You can easily approximate this by giving the potatoes a quick go with an electric hand whisk once you’ve roughly mashed them by hand. But in all cases, the Parmesan must be stirred in by hand ...