Data.Distributive
class
Distributive
g
cotraverse
comapM