モナドじゃないけど、adjunctionの定義は「何が言いたいんだ？」ともどかしかったなあ。
あのhom(FY,X) = hom(Y,GX)という定義式がなぜねじれた形になってるのか、
ずっと疑問だった。