型シグネチャをトップレベルに書けるようにしましたです＞ω＜
型シグネチャの位置を戻して、型推論のバグ潰しです＞ω＜