１．現実の世界 モナドは二つの演算returnと>>=を有していた。この中の演算(>>=)を連続して用いることにより、同じ型の中で、鎖のように繋がった操作(オペレーション)が可能になった。これを見やすくしたのがdo記法であった。do記法を用いることで逐次型の処…