Or, in Haskell, it could even just be

    foos = [2, 4]

even the fact that the 2 and 4 refer to foos can be inferred, as long as Foo behaves like a number and you make it part of the Num typeclass. It's pretty cool!

So, oddly enough, static typing can actually make your code less noisy rather than more.