monadsについて、ここに記述してください。

http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf

http://www.sciencedirect.com/science/article/pii/0890540191900524

解説へのリンク https://twitter.com/genkuroki/status/827846712345497600