haskell - Haskell 中的仿函数定义及其在 Learn You a Haskell 中的解释令人困惑

Question

以下摘自' Learn You a Haskell ' 表示 f 在函数中用作“值的类型”。

这是什么意思？即“值的类型”是什么意思？

Int 是“值的类型”，对吗？但是 Maybe 不是“值的类型”？

Int 和 Maybe 都是“值的类型”吗？

说 f a 在函数中用作“值的类型”不是更正确吗？

所以如果 f 将是 Maybe 那么 Maybe 本身不是任何类型的任何值？对吧？

只有 Maybe a 可以是“值的类型”？

Answer 1

我认为这句话的意思是用不同的方式来解释。

«我们知道 [f] 必须产生一个具体类型 [i.e.当 f 应用于一个类型，比如 a，这个应用的结果 f a 是一个具体类型]，因为它 [f a] 在函数中用作值的类型[该值是 fmap 的返回值]。»

f 本身当然不是值的类型。