The difficulty of composing with a multiset of multiarrows is that (unless the multiset of domains is actually a set), there will in general be more than one way to do that composition.
Nafindix
- 19
- 5