Text this: COINDUCTIVE STREAMS IN MONOIDAL CATEGORIES.