Text this: Coinductive Streams in Monoidal Categories