We study economies of asymmetric information with observable types. Trade takes place in lotteries. Individuals face a standard budget constraint, while the incentive compatibility constraints are imposed on the production set of the intermediaries. This formalization encompasses Moral Hazard,...