We study the design of macroprudential policies based on quantitative collateral-constraint models. We show that the desirability of macroprudential policies critically depends on the specific form of collateral used in debt contracts: While inefficiencies arise when current prices affect...