https://easyexamnotes.com/type-checking-ppl-prof-jayesh-umre/