A list which is built using a non-strict constructor. Any head or tail of the list may be an uneVALuated closure. Also known as streams since they may be used to carry a sequence of VALues from the output of one function to an input of another. See also Lazy eVALuation.