Treat covariant/contravariant monoidal functors on equal footing.