Haskellプログラミングでは圏論をあまり意識しなくても良くなっている。
これ以降圏論の話は数学板か情報学板でするように。