Assignments from Types and Programming Languages book