A person who works in a coal mine, typically extracting coal from underground seams or deposits.