The third example on pdf seems wrong. The result should be 'TyError'. <img width="598" alt="image" src="https://user-images.githubusercontent.com/36997987/132350678-b3b9a343-8106-4362-a1b3-afc372222d2c.png">