Reply to Janice, > Please may we have "lazy" as a type constructor (as well as a > parameter storage class)? Currently I can declare a lazy array of > ints, but not an array of lazy ints. That means we can't have variadic > functions with lazy variadic parameters. It would be quite useful to > be able to do: > This sounds like a useful addition