semantic: Actually check the type of arguments in homogenous variadics.