coalcutter

Noun

 * 1) A device for cutting coal out of the rock face in a coal mine.