check arg types