圏の射は、cod と dom が一致しているときに結合可能というのが公理にあるけれども、モナドの「結合」ではちょっとずれている。 タイトルの「変な結合」というのは、Haskell で言うと bind (>>=) のこと。どこが変かというと cod と dom がモナド(関手)一個…