[jakear]

Something along the lines of this right?

  eval =
  v [] => 0
  v x:xs => x + v * eval v xs

You do have to love how clean definition by cases makes these sorts of things.