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

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.