総合 型のないモジュールを完全TS化

4 つの区画が、それぞれ別の行を見ていることを確かめます。