Henning Thielemann wrote: > Then why are patterns in lambdas not lazy? Because they should allow for more branches! ;-)) null = \ [] -> True _ -> False -- Zun.