In this case the compiler will not be able to perform compile-time checking of argument types and Syntax arity when the function is applied to some arguments.
В этом случае компилятор не сможет выполнить проверку типов аргументов и арность, когда функция вызывается с некоторыми аргументами.