ยง The dual of traversable [WIP]

https://hackage.haskell.org/package/distributive-0.6.2.1/docs/Data-Distributive.html