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.