前回の自分用宿題 ・ 拡張スタイルの関数(というかbind)の導出 これをやってみる。あと逆に拡張スタイルから代数スタイルの導出もやる。 unit, flatten, mapからのbindの導出 unit, bindからのflatten, mapの導出 e_unit, e_bind, l_unit, l_bind, combinati…