ああ、同じ型だけど文脈で変えたいという話なのか