typealias ArgValidator<AllT> = ArgumentTransformContext.(AllT) -> Unit
A callback validates the final argument type