JSON処理とカロウビ展開圏

JSONデータにundefinedも入れて、その上でホントの例外⊥も入れた領域を考える。これをJ_⊥とする。J_⊥ 上の計算可能な関数を考えると、対象が1つの圏（モノイド）ができるが、これのカロウビ展開圏 KE(J_⊥)を作る。

JSON処理関数（コマンド）の最初の意味論は、このカロウビ展開圏KE(J_⊥)のなかで作れる気がする。これにモナド／コモナドを入れて、クライスリ／余クライスリ圏を生やした圏バンドルを作り、最終的には平坦化したファイバー圏を作ればいいのだろう、たぶん。