I'm very confused by this conversation. What taxes are you guys talking about? They don't exist as far as I'm aware. I am aware of some subsidies, but not taxes on specifically carbon/coal/etc.
P.S. I agree about the comment regarding negative externalities not being accounted for unless something like this is in place.