Comment by theCodeStig

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