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