https://easyexamnotes.com/type-checking-3/