frege - 类型不像建议的那样多态

Question

我正在尝试为以下数据类型创建一个 Functor 实例：

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，对吧？

（该错误非常令人困惑，因为它会分别出现go并使用已在类型检查中使用的新类型变量go）