表現可能関手の自然変換の自由度ってどのくらいかなあ、といろいろやってみたら思い付く程度のことではある。