ある種のツリーデータ型はモナドにできます。[追記]この記事は十何年か前に書いておくべきだったのかも知れません。当時は、ツリーデータ型のモナドは自明な事実に見えてました（ツリーばっかりいじっていたからなー）。が、「えっ、そうだったの」と思う人…

面白い偶然が起きることがあります。ごく最近、次の記事を書きました。 2020年9月7日 蒸し返し： アドホック多相 vs パラメトリック多相 2020年9月8日 多相関数の「パラメトリック性 vs 満足性」 そして9月8日と9月9日（昨日）、4年前の記事にkhibinoさんか…