There are many, but one particular example is the type syatem.