前回の記事をツイートしたら@dico_lequeさんからこういう話を教えていただいた： 多相バリアントでのやり方を考えるとファンクタ経由で非再帰で書いておいてmodule rec M = F(M)みたいな、と思ってググったところOpen Recursion with Modules | bcc32https:/…