前篇のつづき、コモナドを話す前にまずDualityについて復習しよう： 圏論にて、ある物の双対(Dual)を次のように定義する： この定義はつまり確定的に明らかであること：矢印をひっくり返すだけ簡単な仕事です。 ある構造xxxに対して、中の要素をすべてdualを…