>>807
tとyの型宣言はどうなってる