Used Safe Multi-Type Checking