正式调用monad绑定操作的参数是什么？

Question

例如,在列表monad绑定操作中:

xs >>= f = concat (map f xs)

f的论据是什么？粘合剂？映射器？变压器？

Answer 1

根据维基，我引用..“可编程分号”或“装配线”。

具有 monad 结构的类型定义了链接操作的含义，因此“装配线”可能是最好的描述。