为什么 ghci 找不到 EIther b 的 Monad 实例答案

【问题标题】：Why can't ghci find the Monad instance for EIther b为什么 ghci 找不到 EIther b 的 Monad 实例
【发布时间】：2012-09-13 16:56:00
【问题描述】：

所以，几个月过去了，我有点生疏了，但我似乎记得 Either b 是 Monad

Prelude Control.Monad Data.Either> return "Hello" :: Either String String

<interactive>:0:1:                                                       
    No instance for (Monad (Either String))                              
      arising from a use of `return'                                     
    Possible fix:                                                        
      add an instance declaration for (Monad (Either String))            
    In the expression: return "Hello" :: Either String String            
    In an equation for `it':                                             
        it = return "Hello" :: Either String String                      
Prelude> Right "Hi" == return "Hi"                                    

<interactive>:0:15:                                                   
    No instance for (Monad (Either a0))                               
      arising from a use of `return'                                  
    Possible fix: add an instance declaration for (Monad (Either a0)) 
    In the second argument of `(==)', namely `return "Hi"'            
    In the expression: Right "Hi" == return "Hi"                      
    In an equation for `it': it = Right "Hi" == return "Hi"

所以我可能做错了什么，但我不确定是什么。我正在使用 GHC 7.2.2。

【问题讨论】：

标签： haskell typeclass

【解决方案1】：

从 base-4.6.0.0 开始，Either e 的 Monad 和 Functor 实例在 Data.Either 中定义，并且可从 Prelude 自动获得。

以前，在base-4.3.* 到base-4.5* 中，实例是在Control.Monad.Instances 中定义的，并且不会自动可用。在此之前，部分同时，有一个

instance Error e => Monad (Either e) where
    ...

在mtl-1.* 的Control.Monad.Error 和transformers 包中的Control.Monad.Trans.Error 中定义。如果这些模块与base < 4.3 一起使用，它们仍然有条件地提供实例（现在没有Error 约束）。

【讨论】：

【解决方案2】：

导入Control.Monad.Trans.Error 或Control.Monad.Error。 Either a monad 实例通常用于错误处理。

> return "Hello" :: (Either String String)
Right "Hello"

【讨论】：