Continue with scala in depth, chapter 6: Types