我们开发了一个具有工人和企业异质性的非正式劳动力市场的搜索模型，企业内部讨价还价具有不同类型工人的不完全可替代性，以及一套全面的劳动法规，包括最低工资。与非正式部门相关的程式化事实，如较小的公司和较低的工资，在公司和工人决定是否遵守法规时内生地出现。不同类型工人之间的不完全可替代性和规模回报的减少使该模型能够再现与文献中现有框架不相容的经验模式:正式和非正式部门中技术工人和非技术工人的存在，技术工人的份额随着公司规模的增加而上升，正式工资溢价随着技能水平的下降而下降。这些特征也使我们能够分析对不同类型劳动力的需求和供给变化的均衡反应。我们使用巴西的数据对该模型进行了估计，结果表明，该模型与2003年至2012年间观察到的非正式性下降情况非常接近。劳动力构成的变化似乎是这一现象背后的主要驱动力。我们通过评估累进工资税在减少非正式性方面的有效性来说明该模型在政策分析中的使用。