Item 34: Use the type system to decipher problems