>>833
モナドと随伴は一対一対応する．
（随伴が与えられると，そこからモナドが構成できる．逆に，
　任意のモナドに対して，それを構成するような随伴が存在する）
よって IO に対してそれに対応する随伴があるのは当然．

ということを言おうとしてると思って，IO の随伴を求めたけど
全然直感的でないものしか得られなかった．

これって何か解釈あるのかな？ 参考文献お願いします．