Correct. We can only determine the correct type signature from an existing implementation (or a protocol).