１．モナドの復習 圏論の中でモナドは次のように定義されていた。モナドは関手\(\mathcal{M}:\mathcal{C} \rightarrow \mathcal{C}\)で、\(\mathcal{C}\)内のすべての対象\(X\)に対して、次の二つの射を有する。 １）\(unit_{X}:X \rightarrow \mathcal{M} (…