Another types-related test.