GoI構成はモナドかもしれない

トレース付きモノイド圏の圏を TrMonCat、コンパクト閉圏の圏を CompCCat とする。

GoI構成を G:TrMonCat→CompCCat とする。CompCCatを、標準トレースをトレースとするトレース付きモノイド圏とみなす関手をU（一種の忘却）CompCCat→TrMonCat とする。GとUって随伴じゃないのか？ だとすると、GとUをこの順で結合して、TrMonCat上のモナドができる。

もしGoI構成が（忘却と組み合わせて）モナドだとすると、クライスリ圏とかも作れる。