------------------------------------------------------------------------ -- Streams ------------------------------------------------------------------------ module Stream where open import Codata.Musical.Stream public renaming (_∷_ to _≺_)