I suppose that you mean that it should be "checking types dynamically", rather than "checking dynamic types"?