Pigouvian taxes are genuinely one of the few policies that really are nearly a free lunch in economics.