小编Rav*_*ave的帖子

我有一个数据类型定义为

data Foo a = Foo a (a -> a)

该Foo数据构造函数有两个参数值和功能。我需要为此编写 Monad 和 Monad 转换实例。

我正在尝试实现函子实例，

instance Functor Foo where 
  fmap f (Foo x g) = Foo (f x) (g .(f x))

但我有一个错误Couldn't match type ‘a’ with ‘b’。

这是正确的，因为g只接受类型a并f x会转换a->b。所以接下来我重写为

instance Functor Foo where 
  fmap f (Foo x g) = Foo (f x) g

我遇到了同样的错误“无法将类型 'a' 与 'b' 匹配”。

我也试过这个

instance Functor Foo where 
  fmap f (Foo x …