While I don’t think you should fire someone just to set an example, the scarcity of developers is precisely why you should fire those who are negatively impacting the teams and are unwilling to change.