HW6 & HW5

Common Type System & Principles part2