Sea shanties and waulking songs—is there a more genereal term?

These are both types of songs that were sung primarily to keep people in time with each other while working. For example: pulling up a heavy ship’s anchor is much easier if everyone pulls at the same time.

Is there a general name for a such a song? If I’m not working on a ship or making cloth, but need workers’ movements to be in synch, what do I call the type of song?

Work songs. Slaves in the South had them when they were working the fields, and it looks like other songs of the genre date back to prehistory.

Wikipedia lists 7 sub-categories of work music: