Common Type System Homework