访问函数没有返回任何一个失败a

Question

我在使用Haskell mongoDB驱动程序和access函数的返回类型时遇到了一些困难。根据{{​​3}}和the hackage documentation，access应该具有类型

MonadIO m => Pipe -> AccessMode -> Database -> Action m a -> m (Either Failure a)

但是，在我的代码中的类型推断，本地Hoogle查询和the tutorial on the haskell-mongodb github page中，没有任何参与。它们都显示了类型

MonadIO m => Pipe -> AccessMode -> Database -> Action m a -> m a

我仍然对Haskell很陌生，所以我犹豫是否得出结论文档的编写者是错的，但是从我沮丧的角度来看，就像是这样。

这是monad / kind trickery，我误读文档，还是文档不正确？

Answer 1

您对版本不匹配感到困惑。版本1.3.2 on GitHub在返回类型中也有Either。