optimized type checking