何を言いたいのかよく分からないんだが、関数の引数の型付けという場面なら、構造的型付けの言語（たとえば、TypeScript）では引数の型の指定ができないという主張なの？