分配性的 该软件包提供了与Traversable绝对双重的概念。 Distributive Functor是可以将任何函子推入其中的函子。 distribute :: ( Functor f , Distributive g ) => f ( g a ) -> g ( f a ) 将此与相应的可遍历概念sequenceA 。 sequenceA :: ( Applicative f , Traversable g ) => g ( f a ) -> f ( g a