What is universal about typology?