1. Static Types In Medias Res

  2. Shaping Values with Types