Checking Arc template args