Haskell中distribute的高阶Bitraversable版本是否有标准命名及限制？

1. 高阶版distribute的标准名称 #

这个操作没有单独的标准命名，它本质就是函数复合运算符(.)和distribute的结合，即(. distribute)。从类型上看，distribute :: (Distributive g, Functor f) => f (g a) -> g (f a)，你给出的高阶函数完全等价于先对输入执行distribute，再传入原函数——这是函数复合的典型用法，无需额外命名。

2. 双遍历版本的对应名称 #

该双遍历版本也没有单独的标准名称，但它基于Bitraversable类型类的标准操作bisequence：

bisequence :: (Bitraversable t, Applicative m) => t (m a) (m b) -> m (t a b)

你定义的someName函数完全等价于(. bisequence)，即先对输入执行bisequence，再传入接收t (m a) (m b)的函数。

3. 适用范围与限制 #

这两个操作都有明确的类型约束，并非适用于所有相关类型：

• 单变量高阶版：要求g必须是Distributive类型，f必须是Functor类型，只有满足这两个约束，distribute才能合法调用，对应的高阶复合操作才能成立。
• 双遍历版本：要求t必须是Bitraversable类型，m必须是Applicative类型（你写的Monad是Applicative的子类，因此也满足要求），只有这样bisequence才能生效，对应的高阶操作才能正常运行。

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