As far as lazy goes, I think the lazy variadic functions are a compelling feature that renders lazy unnecessary.
Do you mean lazy in the way that lazy variadic functions *imply* lazy via typing their arguments as delegates, or simply only allow lazy variadic functions? If the latter, why must a lazy function be variadic?
-Steve