スーパーモナドについて - Qiitaこの記事は Haskell Advent Calendar 2017 (その1) の 10 日目の記事です。 スーパーモナド (supermonad) という気になる概念を見かけたので、ちょっと調べてみました。 スーパーモナドとは 世の中には、私たちがよく知っている普通のモナド1 以外にも、モナド的概念がいろいろと存在します。たとえば、こんなのがあります。2 指標付きモナド (indexed monad) https://hackage.haskell.org/package/indexed https://hackage.haskell.org/package/monad-param https://hackage.haskell.org/package/index-core 作用モナド (effect monad) https://hackage.haskell.org/package
