Find spec violation on functional parameters?

[constracti]

Assuming the following erlang function

-spec f(fun(({any(), any()}) -> any()), tuple()) -> any().
f(F, X) -> F(X).

If the initial F is bug-free, do we want cuter to generate a function that will fail if applied to tuple that doesn't have two elements?

Note that such a tuple doesn't violate the type of X.