Changing the functor typeclasses

Stream: general

[Eric Wieser]

(I split this to a new thread)

[Yaël Dillies]

How is it going?

[Yaël Dillies]

Something I noticed is that multiset does not have a docs#traversable instance because it does not commute with all applicative functors, but only all commutative applicative functors. data.multiset.functor currently contains the guts of what could be traversable multiset where it not for this problem. Should we thus change traversableto take in a specific functor?

[Reid Barton]

It's not really a problem. traversable is about things you can iterate over in a fixed order, multiset doesn't have an order, so there is no traversable multiset--that's just the way it is.