mravojed (metaphorical: someone who is very diligent or busy)