先のエントリで、直感的な憶測から『「Monadプローブ結合方式」で、ZipListの演算を実現することはできません』と書いたのですが、本当に不可能なのかじっくり考えてみました。実は、工夫すれば、MonadからZipListを構成できる気がしてきました。。。。（や…