The problem is that without knowing the type in question you don't know the values you're testing with cover all of the possible cases. When interfacing with an

The problem is that without knowing the type in question you don't know the values you're testing with cover all of the possible cases. When interfacing with an external dynamically-typed function this requires attempting to reverse-engineer the types from the definition (and recursively for all the functions it calls).