型付けのリファクタリング。