>>822
> 随伴で構成されたモナド: IOモナド

これってどういう意味？
IO monad = (IO, η, μ)
のIOが、何かの左 or 右随伴になってるってこと？

Listだって集合の左随伴だと思うが…