Sorry, how does a government bring in tax revenue off of exports? Tarrifs are levied on imports rather than exports.

Sure they would make less money off corporation taxes with lower exports, but as those receipts are generally low anyway the tradeoff going to carbon tax would likely be favourable.