什么是索引monad和这个monad的动机？
我已经读过它有助于跟踪副作用.但类型签名和文档并没有把我带到任何地方.
什么是如何帮助跟踪副作用(或任何其他有效的例子)的例子？
monads haskell
haskell ×1
monads ×1