Traversal needs strong monoidal functors in a CCC

This seems to be the proper generalisation of Applicative.