We construct and analyze a tractable search model of money with a non-degenerate distribution of money holdings. Analytical tractability comes from modeling decentralized exchange as directed search, which makes the monetary steady state block recursive. By adapting lattice-theoretic techniques,...