The Curiously Recurring Pattern of Coupled Types - Adi Shavit and Björn Fahller