>>70
それは単なる「Haskellプログラミングにおける圏論の応用」に関する
解説であって、表示的意味論とは関係なくね?