2022/1/13 型コンストラクタを「抽象型」としていたのを「多相型」に修正しました最近になって、プログラミングにおけるモナドには「モナド則」という規則があることを知り、これを使えばこれまた最近聞いた「JavaScriptのPromiseはモナドである」というのが…