Ahman et alias wrote about when a container is a comonad. Containers are also monads, such as List.  This means that we can take all containers that are endofunctors on Set and they live in the endofunctor category on set.  This category has a monoidal product, which is functor composition.  Thus we can have a monoidal category for containers that are either monads or comonads.  This must have a diagrammatic calculus.  What are the axioms of this diagrammatic calculus?

I am guessing this doesn't work because you can't compose all the functors for all containers....