拝啓、偉大なる数学者よ。ハスケルを挫折した同士で伺いたいことがある。 Haskell の関数のうち do ~ action は既存の C言語の副作用の原因となる in out を圏論というものでラップすること...