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