Item 35: Use the type system to decipher problems