to test type compatibility