What are the potential benefits of increasing the taxation of a foreign extractive sector? This paper applies this question to the case of Guinea by using a multi-sector macro-inequality model with heterogeneous agents. We quantify the long-run equilibrium impact of additional taxation when the proceeds are invested in human capital, inclusive infrastructure, and social transfers. Our analysis focuses on the response of GDP, labor formalization, poverty rates, Gini coefficients, rural/urban inequality and sectoral reallocation. The three forms of investment are complementary. Infrastructure investments favor formal production in the urban area while growth and government transfers boost the demand for food. These effects help support the rate of return to education, protecting job formalization through higher wages and prices of informal goods, as the education policy boosts labor supply in rural and urban areas.