Environmental Taxation, Employment and Public Spending in Developing Countries

This paper investigates the consequences of environmental tax reforms for unemployment and welfare, in the case of developing countries with a large informal sector, rural–urban migration, and three different assumptions about public spending: (1) as part of a revenue-neutral policy, (2) fixed, and (3) varying endogenously. Under the indexation of unemployment benefits and informal-sector income that give rise to a double dividend, a lower level of public spending is associated with a smaller negative impact on the after-tax income of households and a higher increase in employment. These policies, however, still lead to a reduction in social welfare; even more so in the case of endogenous public spending, although it is associated with a higher increase in employment and a smaller reduction in private-sector incomes. The model implies that complementary policy, in terms of lower public spending, is unlikely to be socially acceptable, and does not support the case for a green tax reforms in developing countries.


Introduction
Environmental tax reform is one of the most effective tools that can be used in a fundamental transformation towards a green economy. When contemplating the introduction of environmental taxes, governments often consider whether such taxes, besides helping to achieve environmental goals, should also play a larger role in achieving other social and economic targets, such as reduction in unemployment rates. Previous studies, however, found that policies that reduce unemployment rates tend to be costly in terms of other policy objectives as they reduce private incomes, including those of people who are on state benefits. 1 This makes it politically difficult to implement environmental policies. As a result, to make green tax reforms socially acceptable, economists have argued that complementary policies such as public spending cuts could be used to reduce the environmental tax burden on private sector income (see Koskela and Schob 1999;Bovenberg 1995).
This paper evaluates the implications of this argument for unemployment and social welfare for the case of developing countries. The theoretical framework features an economy with three sectors: urban formal, urban informal, and rural agricultural. Following Pissarides (2000), search and matching frictions form the distinction between formal, or "regulated" jobs, and informal, or "unregulated" jobs. Workers in the informal sector search for jobs in the formal sector, and the unemployment rate is defined as the proportion of the labour force that is in informal-sector self-employment. The economy imports both energy and capital at given world prices to use as inputs in registered production activities.
I consider three public spending policies: (1) as part of a revenue-neutral policy, (2) fixed, and (3) varying endogenously with GDP. As such, I study how various assumptions about public spending impact the effects of environmental policies on unemployment and social welfare. In this way, I am also able to compare the results with previous studies that have focused on revenue-neutral policies. Environmental policies considered in the paper are in the form of increases in energy tax rates. The model is calibrated to match some key aspects of labor markets in Mexico and is solved numerically.
The three main findings of the paper are as follows. First, I find that the income of agricultural workers fall under all policy scenarios, even though they do not pay energy taxes. This is because the higher burden of taxation imposed on the unemployed prompts them to escape the brunt of taxation by searching for a job in the formal sector or by migrating into rural areas. This inflow of labor into the agricultural sector pushes wages down in that sector. This is the key difference to previous studies of the double dividend in the context of developed countries, as it shows the importance of modeling the Harris-Todaro effect (1970) when measuring the incidence of higher energy taxation on poverty within the context of developing countries.
Second, I establish that relative to the scenario of revenue-neutral public policy, environmental tax policies with requirements on public spending, such as (2) and (3), are associated with a larger reduction in the unemployment rate and a lower reduction in after-tax private income. Intuitively, since labor taxes have a broad tax base, when public revenues are fixed there is less scope for the reduction of labor taxes under a revenue-neutral policy compared with when public spending is fixed or if the level of revenues can adjust endogenously. If it is also possible to reduce public spending, then the level of required public revenues can decline by more, which creates extra budgetary room for a further reduction in labor taxes, prompting an even larger increase in employment and a lower reduction in formal-sector after-tax income; in fact, the after-tax wage of formal workers increases in this case.
Third, I evaluate the welfare implications of two environmental tax reforms under a taxation scheme that gives rise to a double dividend, 2 and under the assumption of either fixed or varying public spending. Public spending is assumed to affect households' utility. I find that a given environmental tax policy reduces overall social welfare and the utility of each group of workers in the economy. The equivalent variation of a given energy tax reform is lower when public spending varies endogenously compared to when public spending is fixed, even though the former policy has a smaller negative impact on household incomes.
Finally, sensitivity analysis also reveals that even though a double dividend occurs in the model at the expense of private-sector after-tax income, especially of those who are on state benefits, this result depends critically on the expenditure share of energy when formal sector production is modeled with a standard Cobb-Douglas function and a revenue-neutral green tax reform. Intuitively, with a smaller expenditure share of energy, a decline in energy demand due to higher energy taxes reduces costs, or equivalently results in a smaller tax burden.
These findings thus provide guidance to economists trying to garner support for the implementation of environmental tax policies in developing countries. The model suggests that policymakers in developing countries hoping to improve the labor market effects of environmental policies through lower public spending will likely be unsuccessful, as public services are important determinants of households' well-being in those countries. These results should, however, be seen as highlighting this trade-off when implementing complementary policies aimed at improving the labor market effects of green tax reforms, rather than providing conclusive proof of the incompatibility of green tax reforms with development and poverty alleviation policies in less developed countries. The model abstracts from studying alternative ways of reducing the tax burden on labor (which are beyond the scope of the current paper), which could be potentially more acceptable for economic and political reasons. The results also emphasize the importance of modeling the features relevant for developing countries when assessing consequences of environmental tax reforms in those countries.
More broadly, the results show that the context in which environmental taxation is introduced and the package of complementary reform measures are extremely important, given developing countries' emphasis on the equity and distributional aspects of green policies. Developing countries are the most vulnerable to climate change and resource depletion, and therefore need to embrace policies that help to stimulate economic growth and to promote environmental sustainability, including environmental fiscal reforms. Specific green growth instruments should be identified and used according to the context. This paper contributes to this policy analysis by studying the implications of environmental fiscal reforms, accompanied with reduction in public spending, for job creation and social welfare.
The rest of the paper is organized as follows. Section 2 presents the search and matching model of an economy with an informal sector and rural-urban migration. Section 3 outlines the parameterization of the model. Section 4 discusses results of the policy experiments. Section 5 evaluates the welfare effects of green tax reforms. Section 6 examines the sensitivity of these results to changes in the values of some parameters and functional form. Section 7 concludes.

Model
This section outlines the theoretical framework in which I conduct the analysis. The model is an extension of the general equilibrium model of Satchi and Temple (2009), with a large informal sector and scope for rural-urban migration, in an economy with a polluting production factor and environmental taxes.
The economy consists of two regions: urban and rural/agricultural, denoted by m and a respectively. The urban sector is characterized by search and matching frictions in the tradition of Pissarides (2000), which partitions the sector into informal/unregistered and formal/registered production activities. Workers allocate themselves between the two sectors via rural-urban migration. Once workers migrate from rural areas, they first enter the informal urban sector.
There are two types of firms: agricultural (rural) sector firms and registered urban-sector firms. Firms operating in rural areas produce goods for consumption in that region only and operate under perfect competition. The economy imports both energy and capital at given world prices, and both are inputs into registered production activities only. 3 In the informal sector, workers are assumed to be self-employed and engage in low-productivity labor-intensive tasks. Goods from formal and informal production activities are assumed to be perfect substitutes.
Throughout the paper, I use the term "unemployed" to describe people self-employed in the informal sector, and thus treat the fraction of informal sector workers in the urban labor force as the unemployment rate, u, so that the size of population normalized to 1 is decomposed into: where L a and L m are the sizes of agricultural and urban sectors, respectively. Consistent with the Harris-Todaro model, all workers are assumed to be risk-neutral. Finally, revenues collected from taxing energy and labor are used to provide general government goods and transfers to the unemployed.

Agricultural Sector
The agricultural sector is modeled as subsistence agriculture, assuming that it does not use energy as an input into production, so capital and labor are the only production factors. As in Satchi and Temple (2009), agricultural capital, K a , is interpreted as land. In this sector, each worker produces an output g(k a ) = Y a L a , where Y a is total agricultural production in the economy and k a is the capital to labor ratio, defined as: The worker is paid a wage w a , and derives positive utility from living in a rural area, χ a > 0. 4 The agricultural sector is assumed to be perfectly competitive, which implies that: where g k (k a ) = r a is the rental cost of capital in the agricultural sector.

The Urban Labor Market
Urban sector goods can be produced from either formal or informal activities. Labor market search-and-matching frictions form the distinction between the production activities of formal goods and informal goods.

The Labor Market
In formal labor markets, a constant-returns-to-scale matching function M t determines the number of new matches between job searchers and vacancies: where uL m denotes the number of unemployed workers, s is the average search intensity, vL m is the number of open vacancies, and M denotes matching efficiency. Using linear homogeneity of the matching function, it is possible to express contact rates for firms and workers as a function of a single variable θ , defined as: which measures the labor market tightness. Consequently, the probability of one vacancy being filled is: and 1/q is the expected duration of a vacancy. Note that q(θ ) is a decreasing function of θ , and I define the elasticity of q with respect to θ as ε θ ≡ −q (θ )θ/q > 0. Each match between a worker and firm in the formal sector is assumed to be destroyed by an exogenous Poisson rate λ, and the law of motion for the number of unemployed satisfies the following condition:u where L m λ(1 − u) is the number of separations and L m suθq(θ ) is the number of hires. In the steady state, the inflows and outflows of employment in the informal sector must balance: and this determines the relationship between the unemployment rate and the rate of vacancies (labor market tightness) i.e. the Beveridge curve.

The Worker's Expected Gains
In the informal sector, each worker receives z + b − σ (s; z), where z denotes the labor productivity (output) of each worker, 5 b denotes unemployment benefits, and σ (s; z) represents formal job search costs, which depend on search intensity s and labor productivity z. I consider different arrangements concerning the taxation of unemployment benefits and characteristics of the informal labor market by discussing specifications of b and z in Sect. 2.2.5. I use U and W to denote the value to the worker of being unemployed (and searching for a formal job) and being employed on a formal job, respectively. As the ex-post value of working in formal jobs is the highest, there is an incentive to search for jobs in the formal segment of the urban sector. Informal sector workers decide how actively they search for a formal sector job. A worker i, who searches for a job with intensity s i , when all other workers search with the same level of intensity s, has a matching rate proportional to his relative search intensity s i /s: Following Satchi and Temple (2009), the optimal level of search intensity for worker i is determined by equating the worker's marginal search costs (σ s i ) with the expected benefits dq i /ds i (W − U i ) of job search, and then by imposing symmetry: while every job searcher finds a job at rate sqθ . The expected utilities of being unemployed and employed at a formal job can be defined as follows: where w m is the formal-sector wage and P is the severance payment paid by the firm to a departing employee.

Firms and Labor Demand
I use V and J to denote the value to the firm of holding a vacancy and a filled job, respectively. I assume that firms pay a flow cost c to post a vacancy. Once the vacancy is filled, each firm employs one worker who is paid the wage w m , rents capital k m from international capital markets, and imports the polluting production factor energy e m at an exogenously given price p E . Firms are liable to energy and payroll taxes. Matches between workers and firms break at an exogenous Poisson rate λ, at which point the worker returns to the informal sector. The firm makes a severance payment P to the departing employee, which is an important feature of labor markets in developing countries such as Mexico. Each operating firm with its one employee thus produces the output A m f (k m , e m ), where A m is a TFP parameter and f (k m , e m ) is the intensive form of production technology, with capital (k m ) and energy utilized per worker (e m ), so that: The first-order conditions for the capital-labor ratio and energy-labor ratio are: which imply that: where labor productivity is defined as: Free entry into the creation of vacancies implies V = 0, that is: which states that in equilibrium, the expected profit from a job has to cover the expected cost of a vacancy. By combining equations (16) and (17) to eliminate J , and assuming that hiring costs are a fixed proportion ν of the producer wage in the formal sector, c = ν(1 + τ L )w m , I can obtain the following expression: which states that labor productivity equals total labor costs, including wage costs, the expected capitalized value of its hiring costs, and expected severance payments.

Wage Determination
Search and matching frictions in the formal urban sector imply that each match gives rise to a surplus that is shared between the firm and its worker through a generalized Nash bargain, which determines wages in formal urban sector according to: 6 where β and 1 − β correspond respectively to the workers' and firms' bargaining strength.
The first-order condition for this problem can be written as: If workers dominate the bargaining process i.e. β → 1, it is clear from equation (20) that their value to the firm, J , will be equal to zero and the marginal product of labor equals the costs of labor (including expected severance pay), (1 + τ L )w m + λP = y(k m , e m ). If, however, the firm holds the entirety of the bargaining power i.e. β = 0, then W = U . This simply means that formal sector wages equal workers' reservation wage, w m + λP = z + b − σ . Using (11), (12), and (17) to eliminate W − U and J respectively from (20), I can obtain the following expression for the wage rate: This expression shows that the higher the bargaining power of workers (β), the larger is formal sector income (including expected severance pay). A higher interest rate (r ), a larger separation rate (λ), or a tighter labor market (θ ) raise the rents from a job match and thus raise the wage. Using (10), (17), and (20), I can rewrite the equation that determines the optimal level of search intensity as:

Unemployment Benefits and Informal Sector Labor Productivity
As discussed in the introduction, one of the conditions for the double dividend in employment to arise is that the tax burden is shifted from workers to recipients of income transfers. This condition critically depends on how green tax reforms affect unemployment benefits (the outside option of employees in the Nash bargaining process) (see Koskela and Schob 1999;Bovenberg and van der Ploeg 1998b). In particular, if unemployment benefits are indexed to consumer prices, then the purchasing power of the unemployed is fixed in real terms. In this situation, the environmental tax reform cannot shift the tax burden from workers to the unemployed, reducing the scope for a double dividend. If, however, the ratio of unemployment compensation to wages is fixed, then the unemployed also share the burden of carbon taxation. By shifting the tax burden away from workers towards the unemployed, employment may expand. 7 Koskela and Schob (1999) illustrates these insights in a model of wage-bargaining between unions and employers and with environmental taxes on the consumption of 'dirty' goods, while Bovenberg and van der Ploeg (1998b) employ a job search framework and consider environmental taxes in production. The latter also allows for the unemployed to derive (untaxed) income from informal activities. Both papers demonstrate that the potential for double dividend critically depends on the manner in which unemployment benefits are linked to wages and prices. Since the focus of the paper is to analyze how the reduction in public consumption can moderate the costs of green tax reforms on real after-tax private income under conditions that a double dividend arises, the theoretical framework must include elements that cause income in unemployment to be imperfectly linked to the wage level.
As in Bovenberg and van der Ploeg (1998b), I consider environmental taxes in production and model the informal sector, and choose similar indexation schemes for unemployment income, summarized in Cases A and C: Case A Unemployment benefits are fixed at a given level (b =b). I similarly assume that workers earn a fixed amount of income by engaging in informal activities (z =z). Since the set up of this model is static and the price of consumption goods is normalized to unity, under this tax regime, the purchasing power of unemployed is fixed in real terms.
Case C Unemployment benefits are assumed to represent some fraction of formal-sector earnings such that b = π b w m and z = π z (1 + τ L )w m . This indexation rule suggests that labor taxes are evaded in the informal sector, but energy taxes are not. This is a plausible assumption, since pre-existing taxes, such as taxes on labor, tend to be easier to evade than certain forms of environmental taxes, such as carbon taxes or taxes on energy (see e.g., Liu 2013).

In addition, I introduce case B, an intermediate case between cases A and C:
Case B I slightly modify the rule of case C, relaxing the assumption that labor taxes are evaded in the informal sector and assuming that z = π z w m , while unemployment benefits are linked to wages (b = π b w m , as in Case C). This indexation rule implies that the income of the unemployed moves in line with that of employed workers.
There are potentially many other indexation schemes (see Koskela andSchob 1999 or Bovenberg andvan der Ploeg 1994), with environmental (or other) tax reforms exerting different impacts on income from unemployment. The chosen cases A and C represent two extreme and opposing cases when the green tax reform cannot affect unemployment income or can shift the brunt of the tax burden on the unemployed, respectively. These cases are also supported by stylized facts on benefit indexation schemes currently present in some Latin American countries, as discussed in Sect. 2.2.6.
Finally, in contrast to Bovenberg and van der Ploeg (1998b), I simulate the model, which enables me to perform extensive quantitative analysis. Bovenberg and van der Ploeg (1998b) focus on a revenue-neutral tax policy, while I focus on environmental tax policies that do not have to be revenue-neutral but instead allow public revenues and public consumption to change in response to a tax reform. I discuss this further when introducing the government budget constraint in Sect. 2.4.

Unemployment Insurance Systems in Latin American Countries: A Short Overview
In this section, I provide a short overview of the unemployment insurance schemes in a selected group of Latin American countries, 8 which is summarized in Table 1.
In most countries, unemployment benefits are tied to earnings, with minimum and maximum thresholds. For instance, in Chile, benefits are decreasing fraction of renumeration, with 50% of salary being paid in the first month, 45% in the second and so on. A similar descending pattern is also in place in Argentina and Uruguay. In Ecuador, the unemployed receive a one-off lump-sum payment upon leaving employment.
Mexico, on the other hand, does not have a nationwide unemployment insurance scheme, but there is still a social security system 9 in place that allows registered workers to withdraw a maximum of 30 days worth of their pension savings from their individual account once every 5 years, in the event of unemployment. Furthermore, temporary employment programs are in place for workers from rural areas (with benefits being set at 99% of the local minimum wage), and in order to deal with the weak coverage of the official social security system (less than 50% of workers) , a program named Seguro Popular (SP) was introduced in 2002, providing workers with health but not employment benefits. In addition, Mexico City launched its own unemployment benefit scheme in 2007 (Programa seguro de desempleo del distrito federal). Under this scheme, benefits are restricted to 6 months, and the monthly benefit is worth of 30 days of minimum wage. The existing Mexican programs described above have features that resemble flat-rate systems.
Overall, the stylized facts presented in Table 1 provide evidence for and support the flatrate system and earnings-related indexation scheme of benefits 10 which characterize the cases outlined in the previous section.

Urban-Rural Migration
There is scope for migration between urban and rural areas, and once workers migrate from rural areas, they initially enter the informal sector. Migration involves a cost φ f | f |, where φ f represents the congestion effect caused by migration intensity, 11 and f represents migration flows from the agricultural sector to the cities (a negative sign would imply a migration flow in the opposite direction). The migration equilibrium condition is defined as follows: and it states that the discounted value of being employed in the agricultural sector must be equal to the workers' expected utility from entering the informal sector. The steady-state is characterized by zero migration flows ( f = 0) and workers are indifferent between staying in agriculture and the informal urban sector: where ε σ = sσ (s)/σ is the elasticity of search costs with respect to s. The equation states that an increase in unemployment benefits and informal-sector income attracts more labor from the agricultural sector to the informal sector, thus driving up agricultural-sector wages. An increase in search intensity naturally entails a rise in search costs, but also increases the probability of finding a job in the formal sector. Thus, when the expected benefits from search (σ ε σ = sσ (s)) exceed the costs (σ (s)), workers migrate from the agricultural to the informal sector, causing an increase in rural wages.

The Government's Budget Constraint
The government's main commitments are the provision of public goods G and transfers to the unemployed: Goods produced in the formal and informal sectors are assumed to be perfectly substitutable, 12 and government consumption is restricted to these types of goods. Government revenue includes revenues from taxing energy in the formal sector τ e,m p E e m (1 − u)L m , total payroll taxes paid by employees in the formal sector, τ L w m (1 − u)L m , and taxes on capitalized recruitment costs, τ L w m (1 − u)L m ν(r + λ)/q. I examine the effects of green tax policy on labor market outcomes by solving the parametrized model numerically and performing policy experiments along two dimensions. In one dimension, as outlined above, there are the various cases of taxation regimes. In the second dimension, there are different modeling assumptions that can be made about government expenditure, G. First, I assume that government expenditure, defined as a fraction of GDP (G = ψY , Y = Y a + Y m ), varies endogenously. Second, I also consider the case when the level of government expenditure is fixed at its baseline level, i.e. G =Ḡ. Finally, I examine a revenue-neutral policy under which the government budget constraint will be replaced by two equations: and where ϒ is total government revenue in the baseline case with energy taxes at τ e,m = 0.15.

Parameterization
Since this model is designed to examine the effects of environmental policies on labor market outcomes, a primary target of the calibration is to produce reasonable figures for labor market characteristics such as the size of the informal sector, agricultural employment, and average  Tables 2 and 3 reports the characteristics of the labor market implied by the theoretical model as well as the corresponding values from Mexican data. The time period is assumed to be one month.

Matching and Labor Market Parameters
The matching technology is Cobb-Douglas and satisfies m(sv, u) = M(su) γ v 1−γ . I set the value of γ equal to 0.5, which is commonly accepted value in the literature. 14 I set the values of M and s at 0.1 and 0.5 respectively in order to yield a plausible value for the duration of employment (see Table 3). I assume β to be equal to 0.5, as it is again accepted by most of the literature. 15 The value of parameter ν in the vacancy posting cost (c = ν(1 + τ L )w m ) is set  (2009), I assume that the average severance payment P is four times the wage, which along with the assumption that P = z P (1 + τ L )w m , yields a value of z p = 3.36. I assume the annual interest rates r and r m to be equal to 4%, which is the value used in the literature (Satchi and Temple 2009;Albrecht et al. 2009). The monthly job separation rate, λ, is chosen to be at 0.04, as in Gerard and Gonzaga (2012), who base their estimate on monthly data for Brazil. In comparison, Satchi and Temple (2009), using quarterly estimates from Gong and van Soest (2002), calibrate λ at 0.06. I decide to set λ to 0.04, which allows me to match the labor data statistics of Mexico better. The parameterization yields an "unemployment" rate (the size of the informal sector as a share of non-agricultural employment) of 30.63%. This number is very close to the official estimate of 34.1% for Mexico (2009 Q2). 17

Search Intensity, Labor Income and Government
Following Satchi and Temple (2009), the cost of search intensity function is defined as follows: I set the value of φ at 2 (as in Satchi and Temple 2009), and choose the value of parameter to generate plausible values for both informal-sector productivity and the total income of the unemployed. The agricultural employment share, L a , is chosen to be equal to 0.13, 18 which matches the annual data for Mexico in 2010. The value of χ a is then inferred from the model's migration equation (24). I assume the payroll tax rate τ L to be equal to 0.25, since 2013 OECD data on the average labor income tax (tax wedge) faced by Mexican workers suggests 19.0% and an average compulsory payment wedge of 26.9%. 19 At the same time, payroll taxes may make up a maximum 35% of the payroll in Mexico (see Handbook 2012). The values for the payroll tax rate used in the literature differ considerably-for instance Satchi and Temple (2009) use a value of 0.1, whilst Albrecht et al. (2009) use a value of 0.5. Since there is no consensus in the literature, I have chosen a payroll tax rate that is in line with recent data on Mexico. I assume the baseline energy tax, τ e,m , to be equal to 0.15, which together with other parameters allow me to match the share of public consumption in GDP quite well. Specifically, I assume that government spending accounts for 10% of GDP (i.e., ψ = 0.1), which is consistent with the empirical evidence for Mexico. The average share of general government final consumption expenditure in GDP from 2004-2008 is 10%, which is similar to the 11.4% share over the past few decades . 20

Production Functions
The baseline production technologies in the formal and agricultural sectors are Cobb-Douglas and satisfy: which in intensive forms are respectively defined as follows: Cobb-Douglas technology has been used widely (e.g. in Golosov et al. (2014), Barrage (2012), and references therein), and, as argued by Hassler et al. (2012), seems to be a reasonable representation of energy input use for a longer time horizon. I focus on the case of an open capital account for developing countries, assuming that the economy is open to international capital flows so that the return to capital is equal to the world interest rate.
In addition, given that the price of energy is determined internationally by world markets, equations (15) imply that both k m and e m are exogenously given. This version of the model can be seen as capturing long-run adjustment, and thus the Cobb-Douglas specification is consistent with this assumption. I test the sensitivity of the results to a CES production function specification, which is considered to be a better representation of energy demand in the short-and-medium term than a Cobb-Douglas production function (see, e.g. Hassler et al. 2012), assuming instead that formal sector production is given by: where L is labor, A t the capital/labor-augmenting technology (later called A m ), A E the fossil-energy-augmenting technology, the elasticity of substitution between capital/labor and fossil energy, and γ 2 is a share parameter.
For the baseline Cobb-Douglas technology specification (29), I set the values of the parameters as α 1 = 0.269, α 2 = 0.5, and γ 1 = 0.63 (as in Satchi and Temple 2009). For the nested CES production function (31), I set the values of the parameters of the production function as α = 0.3, ε = 0.05, 21 and γ 2 = 0.1. 22 The values of the exogenous price of energy and augmenting technology are chosen to match the labor data statistics, so that the baseline values for both production function specifications are the same.
These shares give a baseline share of energy costs in total production of 23.1%. For comparison, a value of 40.7% is an estimate based on a Cobb-Douglas specification used in an analysis of the energy-saving effects of technological progress in Chinese industry, which is characterized by high energy intensity (see Yuan et al. 2009). The estimates of 35 and 17% are the values of energy input per unit of value added in non-metallic mineral products and paper products respectively across developing countries (see Upadhyaya 2010). Much lower values for the expenditure share of energy have also been used in recent macroeconomic models of climate change (see Golosov et al. 2014or Barrage 2012 Since, the focus of this analysis is on developing countries, I start with a higher energy intensity of production than used in those studies and perform sensitivity analyses using other values of 1 − α 1 − α 2 . I demonstrate that the key results of the paper remain robust to changes in the values of energy intensity. As K a represents a fixed factor in agricultural production, I can normalize its value to one without loss of generality. Thus, given the knowledge of L a , this pins down the value of land per worker in the rural sector, k a = 1/L a . In choosing the values of productivity parameters A m and A a , I draw on a recent study by Gollin et al. (2014), who demonstrate that by adjusting for different factors such as human capital per worker, the productivity gap between agricultural and non-agricultural sectors in developing countries, measured as value added per worker, could be estimated at around 2. Accordingly, by normalizing the agricultural-sector productivity to one, A a =1, I set the value of A m at 2.

Other Parameters
I have verified that the conditions of the model (1) w m + λP > z + b − σ and (2) P < w m /λ hold under this parametrization. The first condition states that workers will only engage in job search if it is worthwhile, that is, the expected return from a formal job is greater than the return from being in the informal sector and searching for a formal job. The second condition implies that the (expected) severance payment P accounts for less than half of expected labor income from employment.
To perform welfare analysis, the households's utility function is defined as follows: where α A + α M = 1. I assume ϑ = 0.1, which is below the values of 0.4 and 0.2 considered in Ganelli and Tervala (2007) and Sims and Wolff (2014) respectively. 23 I set the value of α A at 0.3. 21 The value of the elasticity ε = 0.05 (or below), as shown by Hassler et al. (2012), implies the sensible energy-saving and capital-labor saving technology series. Their estimates also suggest that these technology trends are positive and of very similar magnitude, so I therefore set A = A E . 22 Empirical estimates of the share of energy in production (γ 2 ) vary by industry. For example, Dissou et al. (2012) find that the value of γ 2 varies between 0.024 (transportation equipment) and 0.186 (primary metals). I set the value of γ 2 in the range of these estimates, close to estimates of the energy share in non-metal mineral products or chemicals. 23 In Sect. 5 below I discuss how a higher value of ϑ affects the baseline results.

Policy Experiments
For clarity, I again briefly outline the experiment specifications I conduct in the paper, which have been explained in the previous sections. First, I examine the effects of green tax reforms when the total income of the unemployed is fixed in real terms (Case A: b =b, z =z). Second, I assume that the income of the unemployed is a fixed proportion of after-tax wages (Case B: b = π b w m , z = π z w m ). Third, I study the case where the income of the unemployed is fixed, but labor taxes are evaded in the informal sector (Case C: Cases A and B are analyzed under the assumption that the provision of public goods is constant (G =Ḡ). Case C is considered under three assumptions about public expenditure: (1) fixed public spending (G =Ḡ), (2) flexible (endogenous) public spending (G = ψY , Y = Y a +Y m ), and (3) a revenue-neutral tax reform. Case C is the type of unemployment indexation rule under which the environmental tax policy can affect the income of the unemployed and can shift the tax burden from the workers to unemployed, so the double dividend can arise. By making different assumptions about public spending, I see how changes in public consumption impact private-sector employment and after-tax income.

Green Tax Policies: All Policy Scenarios
In this section, I distill the results and key insights from all five policy experiments outlined in this paper. I study the effects of an environmental tax policy that doubles the value of the energy tax from its baseline value of τ e,m = 0.15 to τ e,m = 0.3. An increase in energy taxes affects the economy through two channels. First, it decreases energy demand, which in turn decreases the energy tax base. Second, lower energy demand reduces labor productivity and thus labor demand. If the government needs to maintain overall tax revenues, the erosion of the energy tax base prevents the government from reducing labor taxes sufficiently to offset these adverse effects of higher energy taxes on labor productivity, as green taxes have a narrower tax base than labor taxes. Since a reduction in payroll taxes does not fully offset the adverse effects of the pollution tax, the overall tax burden on labor tends to rise. The higher average tax burden on labor generally reduces private-sector after-tax income and raises the labor costs (per unit of output) for firms, and thus tends to reduce labor demand and employment. By lowering the tax burden on labor, or as discussed in this paper, by shifting the tax burden on the unemployed, it is possible to raise employment. However, such an outcome depends on the indexation scheme of income in unemployment, and the extent to which the after-tax income of all labor is reduced by the type of government expenditure policy, which I discuss below. Table 4 summarizes the effects of an increase in energy taxes on key labor market characteristics, under different policy scenarios. Labor market characteristics include the unemployment rate (u), after-tax real income of the private sector (formal sector wage, w m ), income of the unemployed (b + z), rural sector wages (w a ), search efforts (s), and labor market tightness (θ ). From this table we see that, for instance, the first green tax policy is associated with an increase in the unemployment rate of 0.75 percentage points, a 1.63% decline in after-tax wages, a 3.83% decrease in agricultural wages, and a decline in both search efforts and labor market tightness, while unemployment income is unaffected.
The table first demonstrates that a double dividend (a decline in the unemployment rate) occurs when the additional tax burden associated with higher carbon taxation is shifted on to the unemployed, as in the last three experiments. In the first policy experiment, the Table 4 Labor market effects of green tax reform under different tax regimes and assumptions about government expenditure: a summary Green tax reform constitutes an increase in the energy tax rate from τ e,m = 0.15 (baseline) to τ e,m = 0.3; the steady-state value of unemployment is already in percentage terms, so u =0.75 (under first policy experiment) means that unemployment increased by 0.75 percentage points, from 30.63% (baseline) to 31.38%; changes in other variables relative to their baseline values income of the unemployed remains unaffected by green tax policy. In turn, the tax burden of environmental protection is borne by workers in the remaining sectors of the economy (urban formal and agricultural), in terms of lower urban-sector employment and lower formal-and agricultural-sector income. Intuitively, as the outside option available to workers remains unaffected by green tax policy, this policy effectively raises the bargaining power of workers. Workers thus resist large cuts in after-tax wages, increasing labor costs and reducing formalsector employment. A decrease in formal-sector employment is partially absorbed by the agricultural sector; the inflow of labor into rural areas pushes down agricultural-sector wages. Under the second policy experiment, with indexation to after-tax wages, the environmental tax policy decreases the income of the unemployed, enabling the government to reduce taxes on labor by more than under the previous scenario, moderating the rise in labor costs and the reduction in employment. As the unemployed now bear some of the costs of a cleaner environment, the adjustment to the additional tax burden triggers a smaller decline in employment and in incomes of workers in both the formal and agricultural sectors compared to the first experiment. Both formal sector wages and the total income of the unemployed fall by the same amount (1.33%) when carbon taxes are increased from 15 to 30%. This reduction still proves to be insufficient for a double dividend to occur. Instead, green tax reforms only result in a lower unemployment rate when the additional tax burden due to higher energy taxes is shifted more on to the unemployed (the last three policy experiments).
The double dividend from the third policy experiment, which was not present in the second scenario, is due to the assumption in the former case that payroll taxes do not affect informalsector income from self-employment. Under that assumption, a shift from labor taxes towards carbon taxes has a heavier impact on the income of the unemployed from informal activities.
Since z represents 93% of the total income of the unemployed in the baseline case with τ e,m = 0.15, the environmental tax policy that replaces an explicit tax on labor with an implicit tax on labor (energy tax) results in a bigger fall in the income of the unemployed than under previous policy experiments, with their income falling by 4.58% compared with 1.33% under the previous policy experiment. A larger decline in the outside option weakens workers' bargaining power, which prompts them to accept lower wages. This boosts labor demand and reduces unemployment.
Finally, a comparison of the results across the third, fourth, and fifth policy experiments reveals that under the same tax regime, by varying the level of public revenues and government consumption, the impact of a green tax reform on labor markets can be improved: after-tax income in the private sector is highest under the last experiment. To explain the differences in these outcomes, I first note that when τ e,m = 0.3, the level of government revenues is 0.7386, 0.7307, and 0.7099, while the level of public spending is 0.6618, 0.6581, and 0.6321 for the third, fourth, and fifth policies respectively. Since labor taxes have a broad tax base, when government revenues are fixed there is less scope for reducing labor taxes under a revenue-neutral policy, compared to when public spending is fixed but the level of revenues can change. If, in addition, public spending can also be reduced, it is possible to create extra budgetary room for a further reduction in payroll taxes, inducing a further increase in formal-sector after-tax income.
It is also important to note that agricultural workers bear a large share of the tax burden in all but the last policy experiment. The model supports policymakers' concerns of a potentially higher incidence of poverty in rural areas resulting from higher energy taxes in developing countries. Agricultural workers, as modeled, do not pay energy or labor taxes, but still bear part of the burden of green tax reform through urban-rural migration effects. Specifically, in the first two policy experiments, a decrease in formal sector employment is partially absorbed by the agricultural sector. This inflow of labor into rural areas pushes down wages in the agricultural sector not only in absolute terms, but also relative to formal sector wages, so that the incidence of poverty as measured by wages is higher. In the third and fourth green tax policies, a higher burden of taxation imposed on informal-sector workers prompts them to escape the brunt of taxation by searching for a formal-sector job or migrating into rural areas. Not all workers are able to find a job in the formal sector, so some of them migrate into rural areas, which again pushes wages down in the agricultural sector.
In the last environmental tax policy, compared with the third and fourth ones, the decline in the income of agricultural workers is moderated. This is because there is a larger reduction in unemployment than before, and as a result fewer people migrate into rural areas.
Green tax policies that put a heavier tax burden on the unemployed, as in the last three policy scenarios, could still be attractive from an efficiency viewpoint, because they improve labor market incentives through increased search effort, s. This search effort behavior introduces a wedge between labor market tightness θ and the vacancy rate v in such a way that these variables move in opposite directions. More specifically, since search intensity is endogenous, labor market tightness depends on two factors: the number of vacancies relative to the number of unemployed workers (v/u), and the average search intensity of the unemployed (s): In the first two policy experiments, the labor market is less tight because there are more unemployed workers relative to the number of vacancies in the economy, and θ follows the dynamics of the first channel v/u and falls. In contrast, in the last three policy scenarios, green taxation reduces payroll taxes and raises energy taxes, which imposes a heavier burden on the unemployed by reducing their income from self-employment, z. In these cases, the unemployed attempt to evade taxation by more actively seeking a formal-sector job, so that s rises. A higher search intensity makes it easier for employers to fill vacancies, and the labor market tightness, θ , by following the dynamics of search intensity s, falls. A less tight labor market reduces the expected duration of vacancies (1/q(θ )) so that the green tax policy of the third and fourth scenarios creates larger incentives to enter the formal sector, inducing labor reallocation from the informal to the formal sector with a higher turnover rate than before.

Green Tax Policy Reform and Public Consumption
As discussed above, by lowering the level of public consumption, it is possible to mitigate the overall tax burden on labor and to increase private-sector after-tax income. In this section, I further discuss the mechanisms and intuition behind this result. I consider different tax reforms, with increases in the energy tax rate ranging from 0.75 percentage points to 25 percentage points from the baseline value of 15%. In each case I start with the baseline tax level, vary the energy tax, and report the resulting steady-state results for the fourth and fifth policy scenarios in Table 5.
There are several key results that emerge from the table. First, labor taxes and unemployment are reduced by more when G varies than when G is fixed. Second, changes in the income of the unemployed from self-employment are almost identical under these two policies. Third, when G varies, formal sector after-tax wages (w m ), agricultural-sector wages (w a ), and unemployment benefits (b) follow a hump-shaped pattern with respect to the changes in energy tax rate: they are initially rising but start falling when the energy tax rate reaches some level higher than the baseline value. Finally, there is a larger reduction in total government revenues under the final policy scenario.
These results can be explained as follows. On the fiscal side, the combination of the payroll tax (albeit lower than in the baseline) and higher carbon taxes reduces total government revenue under both policy scenarios. This is because a reduction in payroll taxes does not outweigh the costs associated with a decrease in energy demand (erosion in the energy tax base), or the costly reduction in labor productivity. Even though labor employment expands, it does not offset the reductions in labor taxes, so that overall tax revenues decline. This reflects the fact discussed earlier that labor taxes are a broader-based tax and thus are a more efficient way of raising revenues than energy taxes. Under the fourth policy experiment, a larger reduction in labor taxes results in even lower tax revenues, despite the higher after-tax wage of workers.
On the expenditure side, there are two components through which these revenue changes are transferred to the rest of the economy: transfers to the unemployed and the provision of public goods. Changes in spending on publicly provided goods, in particular a reduction in public consumption, allows for lower public revenues and thus lower payroll taxes.
If, however, G is fixed, transfers to the unemployed have to be lower, public revenues higher, or a mix of the two. As simulation results (Table 5) demonstrate, it is a combination of the two that occurs: unemployment benefits are lower and total public revenues are higher under the policy when G is fixed compared to when G varies. As mentioned earlier, public revenues are higher because there are smaller reductions in labor taxes. Specifically, a 5% increase of the energy tax from the baseline value 24 lowers the payroll tax by 1.45% when G is fixed compared to 1.75% when G varies, whilst an increase in the environmental levy of 10% from the baseline value enables a 2.86% decrease in labor taxes (compared to 3.47%).
The smaller cuts in labor taxes relative to increases in energy taxes under the third policy case is due to the erosion of the carbon tax base. As discussed at the start of Sect. 4.3, to provide a fixed amount of public goods, the government is unable to reduce taxes on labor sufficiently to offset the adverse effect of a higher energy tax on private-sector after-tax Table 5 The effects of varying the energy tax rate under indexation scheme b  income. Drops in labor taxes are due to the revenue recycling of energy taxes, so to achieve "extra" reductions in marginal taxes on labor, the government needs to resort to additional policy measures. A reduction in public consumption is one of those measures, as a lower level of public spending requires less public revenues, and thus lower payroll taxes. Under the baseline parameterization, the reduction in public consumption results in higher cuts on labor taxes relative to increases in tax on energy, which results in higher real after-tax wages of formal-sector workers, as well as the hump-shaped responses of wages and unemployment benefits (see Table 5).
To explain these results, following Bovenberg and van der Ploeg (1998b) I first define the change in the tax burden on labor resulting from the green tax reform as: where changes in taxes are expressed as absolute deviations from their baseline values, and ω L = 0.5 and ω E = 0.231 stand for shares of labor and energy in formal production respectively. Labor taxes raise wage costs directly, whereas energy taxes indirectly raise wage costs per unit of production by discouraging energy use and reducing labor productivity. Thus, equation (34) states that if the cut in payroll taxes is not sufficient to compensate for these adverse effects of energy taxes, green tax policy raises the overall tax burden, resulting in higher labor costs per unit of output, lower after-tax wages, or both. If a higher tax burden is reflected in higher labor costs, then such a tax policy is likely to discourage the demand for labor and thus reduce employment. Given the parametrization of the model and these shares of labor and energy in the production process, it is clear that if a reduction in labor taxes exceeds an increase in energy taxes, the tax burden of the green tax reform is likely to be reduced. Specifically, the following condition must hold for the tax burden on real after-tax private income to be lowered: Based on (34), column (9) of Table 5 presents estimates of the changes in the overall tax burden associated with the green tax reform. "Extra" cuts in taxes on labor, stemming from a reduction in public consumption, reduce labor costs per unit of output sufficiently to outweigh energy costs per unit of output associated with a rise in energy tax from its baseline value. If, however, the green tax reform involves a relatively high increase in energy tax, for example 20 percentage points, a reduction in labor taxes is no longer sufficient to offset the adverse effects of energy taxes, and the average tax burden rises in the economy. This suggests that the tax burden follows a J-curve pattern, initially falling before rising. I argue that this J-curve behavior of the change in the tax burden is conceptually similar to the Laffer curve (the non-monotonic relationship between tax rates and government revenues). Higher environmental taxes induce firms to reduce their demand for energy, eroding the carbon tax base. The erosion in this tax base is particularly high when energy tax rates exceed some higher level, so that a reduction in labor taxes through revenue-recycling and a reduction in public consumption is not sufficient to offset the adverse effects of higher energy taxes on labor productivity and energy demand, and the tax burden starts increasing. As the level of the environmental levy becomes too high (e.g. when τ e,m = 0.35), the government needs to provide labor subsidies to induce firms to create more vacancies and to increase employment.
This result also implies that a reduction in public expenditure as a complementary policy measure to reduce the tax burden of energy taxes in the economy has limited scope for improving outcomes. Reductions in public expenditure can increase the after-tax income of the private sector only up to a certain level of energy taxes, with further reductions in public consumption likely to be counterproductive.
Finally, reductions in public consumption not only translate into lower labor taxes, but also higher transfers to the unemployed. The higher incomes of both unemployed and formalsector workers compared to the third policy case results in a larger urban area and lower rural-urban migration, which results in higher rural-sector income. The only income that remains almost the same under the third and fourth policy scenarios is income generated from informal-sector self-employment. This is because the first-order effects of lower public consumption are on overall tax revenue and unemployment benefits. The effect on income from informal activities is only through the effect on wages (w m ) and labor taxes, which are reduced by more in the last policy experiment; this is almost completely compensated by increases in after-tax wages.
Finally, these results depend critically on the value of the energy intensity of the formal sector production, and thus the values of ω E and ω L . Specifically, equation (34) also states that the overall effect of changes in both tax rates on the tax burden depends on the share of energy costs relative to labor costs in total production (ω E /ω L ). If, for instance, the share of energy is smaller relative to the share of labor, then a given cut in labor taxes lowers the overall tax burden, ceteris paribus. This also implies that a change in the tax burden can be negative (even without these "extra" cuts in tax on labor stemming from lower government expenditure). Column (9) of Table 5 for the case with fixed G illustrates this point: a green tax policy associated with increases of energy tax rate from the baseline value by 0.75 and 1.5 percentage points lowers the tax burden, but a lower tax burden does not translate into higher private-sector after-tax income, which is lower than under the baseline policy. This suggests that a reduction in the tax burden is a necessary but not sufficient condition for private-sector after-tax incomes to be improved through a green tax reform. In the next section, I investigate how this pattern continues with lower values of ω E /ω L , and the sensitivity of the J-curve behavior of the tax burden to different values of energy intensity.

Welfare Analysis
Previous analysis revealed that green tax reforms can have positive employment effects and increase the income of both formal and informal workers in the urban sector. However, it was shown that such policies decrease agricultural-sector incomes, under both fixed and endogenous public spending. In this section, I investigate whether a green tax reform is welfare-improving.
So far, the analysis has neglected the effects of changes in public spending on the rest of the economy. It was shown that a green tax reform with endogenous public spending results in a higher employment rate, higher increases in urban-sector incomes, and a lower reduction in agricultural-sector income compared to a tax reform that keeps the level of public spending fixed. Clearly, if other economy-wide effects of a reduction in public spending are taken into consideration, the former tax reform may not actually be superior to the latter. As such, I account for the interaction of public spending with the rest of the economy by assuming that public spending affects households' utility, which for a given value of household income I is defined as follows: where α A + α M = 1, subject to the budget constraint: 25 Households' demand functions are given by the following equations: A measure of social welfare is defined as the weighted utilities of all agents (formal sector workers, informal, and agricultural): where U is the households' utility function. The weighted utilities is a valid representation of social welfare and has been used in previous studies. 26 In addition to this social welfare measure, I compute equivalent variation (E V ) for each agent in the economy to see if there are any situations when the urban workers, who experience an increase in incomes, could potentially compensate the rural workers, who face declines in their incomes due to a green tax reform. I evaluate the welfare costs of two environmental tax reforms that result in a double dividend, which are characterized by indexation scheme Case C, with fixed or endogenous public spending (fourth and fifth tax reforms as in Table 4). These results are demonstrated in Table 6, which presents how welfare and the utilities of each group of agents change for a given increase in the energy tax rate from its baseline value τ e,m = 0.15, as well as the equivalent variations of a given tax reform. Table 6 suggests that even though green tax reforms are associated with an increase in all urban-sector incomes, a given environmental tax policy reduces overall social welfare and the utility of each group of workers in the economy. 27 Furthermore, comparing columns (2)-(4) across tables, we see that for a given level of environmental taxation, E V is lower when public spending varies endogenously compared to when public spending is fixed, even though the former policy is associated with a larger increase in incomes of both formal and informal workers, as discussed in the previous section. As discussed earlier, the larger increase in urban-area incomes is possible due to the reduction in public spending, which creates extra budgetary room. However, as I observe now, such reductions in public spending are not desirable for society in general, since these relatively larger increases in household incomes do not offset the reduction of public consumption, in terms of the well-being of workers. The model with b = π b w m , z = π z (1 + τ L )w m 6 Sensitivity Analysis

Varying the Energy Intensity of the Formal Sector
In this section I investigate how the results presented in the previous section would change if I vary the value of the expenditure share of energy in production. The baseline expenditure share of energy is ω E =0.231, which as discussed in Sect. 3, is consistent with some estimates of energy intensity in manufacturing subsectors across developing countries, but is much higher than the values of energy expenditure shares used in recent macroeconomic models of climate change, which have used a value of 0.04. To accommodate these differences in estimates, I consider values of the expenditure share of energy (1 − α 1 − α 2 ≡ ω E ) of between 0.1 and 0.04, while keeping the value of α 1 , the expenditure share of capital, at its baseline value of 0.269. I start analyzing the effect of green tax reforms on the economy under three different values of energy share ω E , by focusing on policy scenarios that assume the tax regime b = π b w m , z = π z (1 + τ L )w m , and G =Ḡ. As before, I consider different tax regimes, with increases in the energy tax rate from its baseline value. In each case I start with the baseline value, vary the energy tax and report the resulting steady-state results for three alternative values of energy share in Table 7. Two key results emerge from the table. First, the J-curve pattern of the change in tax burden associated with implementing green tax reforms can also be observed for revenue-neutral tax reforms and not only for the case when G = ψY . Second, a reduction in the unemployment rate (the double dividend phenomenon) can be associated with increases in after-tax income of formal workers (w m ) and the unemployed, particularly if the production process is more labor-intensive. Third, for a given rise in energy tax rate, cuts in payroll taxes are lower when production is less energy-intensive.

Table 7
The effects of varying the energy tax rate under indexation scheme b  Intuitively, with a smaller share of energy in production, declines in energy demand due to higher energy taxes impose a smaller tax burden. At the same time, there are also fewer energy tax revenues that can be recycled to cut payroll taxes, which have a wider tax base. This suggests that labor taxes can be cut by less when the energy share is smaller. Despite smaller cuts in the labor tax rates, distortions associated with green tax reforms are smaller, so that lower labor taxes can offset reductions in the marginal product of labor due to lower energy demand. In such situations, the after-tax income of formal sector workers and unemployment benefits increases.
The key difference from previous studies that focus on developed countries is that the incidence of carbon taxes in the developing economy studied here is partly shifted to the rural sector through rural-urban migration effects. Thus, even though revenue-neutral green tax policies can be associated with higher after-tax incomes of both the employed in the formal sector and the unemployed, the income of rural workers is lower under all cases considered. This highlights the importance of modeling features relevant for developing countries, since ignoring rural-urban migration effects could potentially make green tax reforms appear Pareto improving, when in fact, the policy trade-off is that the agricultural sector is made worse off in terms of lower wages.
When endogenous changes in public expenditure accompany green tax reforms (under assumption G = ψY ), the effect on both the unemployment rate (the double dividend) and private-sector after-tax income is magnified by a further reduction in labor tax rates due to lower public consumption. Similar detailed results are presented in Table 8, and changes in the tax burden are shown in Fig. 1. As Fig. 1 illustrates, a decrease in government spending G leads to a larger decline in the tax burden for a given change in energy tax rate (and a given energy share). I do not report a detailed table with the results under this policy scenario (available upon request), but the patterns and messages are similar as when public consumption is fixed. 28

Worker's Bargaining Power
As discussed earlier, the potential for a double dividend depends on how environmental taxation affects the income of the unemployed (z +b), and hence the outside option of formalsector workers. Double dividends can arise if environmental regulation changes the outside option of formal-sector workers, so that some of the higher burden of energy taxation can be shifted onto the unemployed. These implications were considered in Case C (proportional unemployment insurance) in Sect. 2.2.5. If, however, environmental policy does not affect the income of the unemployed (for example under fixed unemployment insurance), then the double dividend does not occur.
Aside from the outside option, equilibrium wages of formal sector workers are also influenced by their bargaining power due to the Nash bargaining assumption. As mentioned in Sect. 2.2.4, a higher bargaining power means that formal sector workers can prevent larger cuts in after-tax wages, which raises labor costs and reduces formal sector employment. However, if firms dominate the bargaining process, formal sector wages will be closer to workers' reservation wages (informal sector wages), so labor costs and employment do not respond as much to energy taxation.
These results are demonstrated in Table 9, which presents the simulation results of the effects of environmental regulation on unemployment, for different values of workers' bargaining power: β = 0.5 (baseline), β = 0.25, and β = 0.05. Here, we assume proportional Table 8 The effects of varying the energy tax rate under indexation scheme b unemployment insurance (UI) in the core model with τ a = 0.15, so it is possible to shift the burden of energy taxation onto the unemployed. Table 9 suggests that there is a nonlinear relationship between the unemployment rate (u) and worker's bargaining power (β). Comparing columns (2) across tables, we see that for a given level of environmental taxation, unemployment initially falls when bargaining power falls to 0.25, but then rises when bargaining power decreases further to 0.05. A similar nonlinear pattern exists for formal-sector wages: comparing columns (4) across tables, we observe that higher bargaining power is initially associated with relatively higher formal sector wages (β =0.5 vs β =0.25), but when bargaining power decreases to 0.05, formal-sector wages become lower in relative terms. Columns (3) and (6) show the informal sector (reservation) wage which, as mentioned earlier, is closer to formal sector wages w m when bargaining power is lower.

The Elasticity of Search Costs to Search Intensity
In the baseline model, the parameter φ represents the search cost elasticity with respect to search efforts and is set to the value 2 as in Satchi and Temple (2009). The elasticity parameter φ affects migration decisions through two channels: an increase in search intensity raises search costs as well as the probability of finding a job. If φ is greater than 1, then the expected benefits from search, sσ (s), exceed the costs, σ (s). Based on the equilibrium migration condition (24), workers will therefore prefer to stay in the city rather than migrating to rural areas. The income of rural workers depends on the degree of urban-rural migration, so by varying the value of φ, we examine how the search cost elasticity affects the distribution of the higher energy tax burden on rural workers. We consider two alternative values: φ = 1.5 and φ = 3, assuming that energy taxes in the agricultural sector are fixed at the baseline value of 0.15 Table 9 The effects of varying the energy tax rate under different values of the workers' bargaining power β. The model with b = π b w m , z = π z (1 + τ L )w m , varying G. Note: unemployment in (2) is normalized with respect to its value at τ e,m = 0.15. Column (4) reports formal sector wages relative to the baseline and that the UI scheme is proportional. Table 10 presents the results for different values of φ and demonstrates that lower values of φ are associated with a larger urban population and therefore a smaller rural population. The changing value of φ affects the income of the unemployed z and unemployment benefits b, which together with σ [ε σ − 1] influence urban-rural migration. Under the given parametrization, with larger returns to urban labour, workers tend to migrate to the city, which increases the income of agricultural workers.

Vacancy Posting Costs
Besides bargaining power and search costs, vacancy posting costs affect formal sector wages and the unemployment rate. Higher vacancy costs means that fewer vacancies are posted, which results in a higher unemployment rate. As discussed in Sect. 2.2.3, the flow cost c to post a vacancy depends on hiring costs ν, payroll taxes τ L , and formal sector wages w m : c = ν(1 + τ L )w m . Table 11 presents the simulation results of the effects of environmental regulation on unemployment, for different vacancy posting costs: ν = 0.4 (baseline), ν = 0.2, and ν = 0.6. For a given value of ν, an increase in environmental taxation results in more vacancies being posted (and a lower unemployment rate) because the fall in payroll taxes (column (1)) more than offset the increase in wages (column (3)). However, comparing columns (2) across tables shows that for a given level of environmental taxation, the direct increase in flow costs due to an increase in ν leads to relatively higher unemployment, even though there are relatively more vacancies, as the search intensity of workers is lower (not shown in the table).

A Nested CES Production Function
The baseline model assumes an open capital account and a Cobb-Douglas specification of production function, which is consistent with this assumption. Some developing countries, The model with b = π b w m , z = π z (1 + τ L )w m , varying G. Note: the number of vacancies in (7) is normalized with respect to its value at τ e,m = 0.15 however, are more integrated with financial markets than the others. In this section I investigate how the baseline results change for such countries, by focusing on a CES representation of energy demand. Specifically, I repeat the simulations of all four policy experiments when the production function in the formal sector is assumed to be a nested CES production function as in (31). I discuss the main conclusions below. In all policy experiments, the effects on variables are less pronounced, because with a lower elasticity of substitution between labor and energy, imposing a carbon tax has a small impact on the relative cost of labor, and consequently on labor demand and labor market outcomes. Another key result for the case with a nested CES function is that the hump-shaped pattern of some variables under Case C (b = π b w m ; z = π z (1 + τ L )w m ) and varying public consumption (Table 12) disappears. 29 The low elasticity of substitution between labor and energy, along with the imposition of energy taxes, do not allow the overall tax burden to fall (for example, a 5% increase in energy taxes lowers pay- Table 12 Effects of varying the energy tax rate: CES production function, G varies, b = π b w m , z = π z (1 + τ L )w m , baseline labor share =0.5 and energy share = 0.231 roll taxes by a tiny 0.48%, compared with 1.75% in the baseline policy scenario with a Case C tax regime and varying public consumption), so the hump-shaped pattern disappears.
The results point out that it is harder to reduce emissions with a lower elasticity, because of a smaller decline in demand for energy. At the same time, the results also imply that green tax policies under a lower elasticity are associated with higher public revenues and consequently with higher general public spending, as the last column of Table 12 illustrates. The results are consistent with other studies that point out the importance of the elasticity of substitution between energy and labor (capital) for the effectiveness of emission reduction initiatives. 30

Conclusion
In this paper I study the employment and welfare implications of environmental tax reforms, which are accompanied by three alternative assumptions about public spending: (1) as part of a revenue-neutral policy, (2) fixed, and (3) varying endogenously. The results demonstrate that, under a taxation scheme that gives rise to a double dividend, a lower level of public spending is associated with a smaller negative impact on the after-tax income of all households and a higher increase in employment, and the lowest level of public spending occurs when it varies endogenously as a fraction of GDP. These green reforms, however, still lead to a reduction in social welfare, and even more so in the case of endogenous public spending. As such, lower public spending as a complementary policy to improve the labor market effects of environmental tax reforms in developing countries are likely to be unsuccessful. Policymakers should therefore look for other alternative and more socially acceptable ways to reduce the tax burden on 30 For example, Jorgenson et al. (2000), using a computable general equilibrium model for the US economy, IGEM, find that rigidity in production (in a form of inability to substitute labor, capital, or other materials for energy) more than doubles the costs of mitigation policies. The varying values of elasticity of substitution between energy and labor (capital) can also affect the effectiveness of mitigation policies, with high inter-factor (between energy and value-added) and inter-fuel substitution elasticities generating large carbon leakages. labor to support the implementation of environmental tax reforms in developing countries.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.