Tax Principles and Coordination of Trade and Domestic Policies under Imperfect Competition

We construct an exporting monopoly model to compare destination- and origin-based commodity taxes in a context of a trade and domestic tax reform. We show that an export tax reduction and a change in destination (resp. origin) tax that fix the world price is strictly Pareto-improving (resp. deteriorating), which holds whether markets are integrated or segmented. This result may provide a new rationale for preferring the destination-based consumption tax to the origin-based production tax that has been discussed in the literature of tax harmonization and tax competition.