Multidimensional types: revenue maximization. (slides) Mechanism design without money: stable matching.
