Collection operation type checking