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

「Haskellでは書けない」の件についての補足 https://twitter.com/NaOHaq/status/1434773992842227714
おっと、私は「標準のMonadでは作れない」くらいの認識で捉えてましたが、もっと深い事情があったんですね。
すみません、そういうことではなくて、 https://twitter.com/viercc/status/1434781378155925505
List a から同値関係 ~ を使って Bag a ≡ List a/~ を導出するような型レベルの記述はHaskellではできない、ということであって、 Bag a のようなデータ型をHaskell上で実装できないということではないです