study2014-09-30: 単一化, 型付け