haskell-jp / random #93 at 2021-09-03 20:19:16 +0900

:evergreen_tree: すばらしい https://zenn.dev/lotz/articles/b0188c41d56786290897

大事な補足。ありがたや:pray:
https://twitter.com/viercc/status/1434560104955740164?s=19

「Haskellでは書けない」の件についての補足 https://twitter.com/NaOHaq/status/1434773992842227714

おっと、私は「標準のMonadでは作れない」くらいの認識で捉えてましたが、もっと深い事情があったんですね。

すみません、そういうことではなくて、 https://twitter.com/viercc/status/1434781378155925505

List a から同値関係 ～ を使って Bag a ≡ List a/～ を導出するような型レベルの記述はHaskellではできない、ということであって、 Bag a のようなデータ型をHaskell上で実装できないということではないです