>>508
１．モナドではコクライスリ射を表せない。
２．モナドでは扱えず、Arrowでは扱える構造がある。