https://123dok.org/document/zlgv9kl6-definition-of-types.html