------------------------------------------------------------------------
-- Streams
------------------------------------------------------------------------

module Stream where

open import Codata.Musical.Stream public renaming (_∷_ to _≺_)