Applicative类型类中`pure`函数的名称由来是什么？

在学习Haskell和PureScript的过程中，我一开始直接接受了pure这个函数名，但如果能搞清楚它的命名由来，对我的学习肯定会有很大帮助。

Haskell和PureScript的文档里都用到了“lift”这个词：

Haskell文档：将值提升至结构中。
PureScript文档：pure可视为提升零参数函数的函数

但“lift”这个词已经被占用了（比如用于monad转换器）。

PureScript的pure文档还用到了“wrap”这个词，但我现在明白为什么类似“把值包裹在盒子里”这种函子式的解释会误导人，甚至完全偏离重点。所以我反倒喜欢pure这个名称——它没有额外的“包袱”，能让我抛开先入之见，专注于理解概念本身。

用“context（上下文）”这个词的书籍和教程帮我理解了更抽象的概念，我之前也想过用“embed（嵌入）”是不是合适，但没深究下去。

尽管如此，我还是时不时会研究一下，想找出pure的词源，但至今都没有进展。

内容的提问来源于stack exchange，提问作者toraritte