I wonder what the sort of complex manipulation of sums and products seen in say Real Analysis looks like as string diagrams? Probably you would want some sort of monad to let you skip down a sequence..