We consider an environment where the general equilibrium assumption that every agent buys and sells simultaneously is relaxed. We show that fiat money can implement a Pareto optimal allocation only if taxes are type-specific. We then consider intermediated money by assuming that financial...