This article lays out an approach that combines a formal-generative perspective on language, including tolerance of abstract analyses, with a typological focus on comparing unrelated languages from around the world. It argues that this can be a powerful combination for discovering linguistic universals and patterns in linguistic variation that are not detected by other means.