https://123dok.net/document/qmj49w4q-safe-incremental-type-checking.html