Yes --- How DOES one explain the interaction of irrefutable patterns and laziness to beginners. I wouldn't go so far as to say, as Joe does, that I hate ^patterns, but their use is sometimes obscure and not obvious in the way that the equations of functional programming are meant to be. Tony (I dislike them, but understand their occasional use) Davie