Considerable progress has been made in understanding the internal structure of Optimality Theoretic grammars but, in this book, we move up a level from grammar to typology, probing the structure that emerges from the most basic commitments of the theory.