>>685
変数xって何。その例でいうところの f の引数の type のこと?