@t.ae のやったやつって @_specialize(where T == Int) ではだめなんだっけ