E.g. [break](http://hackage.haskell.org/package/streaming-0.2.3.0/docs/Streaming-Prelude.html#v:break) which would have type ```agda break : ((x : w) -> Dec (P x)) -> CoWriter w a -> CoWriter w (Cowriter w a) ```
