Typing chapter 6.2