isolated stream dinaturality

Tags: isolated effectful stream, effectful streams.