関数型パターン指向リファクタリング(仮)