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

module Stream where

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