Previously, I've described a composite monad for modular operads, and outlined how to use the decomposition to prove a Weber-style nerve theorem. This time, I'll extend this to obtain monads for `circuit operads' and compact closed categories using an iterated distributive law, and explain how to modify the original construction to get the desired nerve functors.