えっ、二重に分配圏

Catyのモデルとなる圏って、分配圏をイッパイ含んだ分配圏か？ スタンピングでモナド、コモナドを作るときに使う演算と、JSONデータを細工するときの演算は明らかにレベルが違うのだけど、どっちも分配代数の構造を持つ。

なんか、やっぱりマトリョーシカつうかスノーグローブつうか。