いろいろ整理してラムダ計算の便利そうな関数を定義した