>>70
いや、応用にもなっていない、どこにも「応用例」が無い。
単に、Haskellでプログラマがやっていることを圏論で表すとこうなる、と言ってるだけ。

圏論で表すことによって、プログラマにとってどう良いことがあるのか、
それを示して初めて「応用」だ。

で、>>71 も言ってるように「意味論」の話は？