Question

我想在我的代码中使用它而不想复制它，但由于它只涉及大量通用词，如“function”或“composition”，我无法通过搜索找到它。

完全具体，我正在寻找

instance Functor (x->) where
    fmap f p = f . p

Answer 1

这是基本的读者（或环境）monad，通常称为((->) e)。（这是(e ->)写为部分应用的函数而不是作为一个部分;后一种语法有问题需要解析。）您可以通过导入Control.Monad.Reader或Control.Monad.Instances来获取它。