1. Shaping Values with Types