類型不是多態的建議

Question

我試圖做一個仿函數實例下列數據類型：

data Event t a = Event { runEvent :: t -> ([a], Event t a) } 

instance Functor (Event t) where 
    fmap :: (a -> b) -> Event t a -> Event t b 
    fmap f e = Event go 
     where 
      go t = (fmap f x, e') 
       where 
        (x, e') = Event.runEvent e t 

但是編譯失敗，出現以下錯誤：

E FRP.fr:11: type `γ` is not as polymorphic as suggested in 
    the annotation where just `β` is announced. 
E FRP.fr:11: type error in expression go 
    type is : ([γ],Event α β) 
    expected: ([γ],Event α γ) 

我嘗試添加一些鍵入註釋來概括let綁定，但這不起作用。

Answer 1

因此，我們必須進入e::Event t a

應用runEvent到e給我們依然在元組的第二個元素的Event t a，又何嘗不是如此？但它應該是Event t b，對吧？

（該錯誤是相當混亂，因爲它產生RESP。go，並使用已在類型檢查go被使用清爽型的變量）