sumof [] = 0 sumof (h:t) = h + sumof t
"The argument is []."
"That's some kind of list, say [a]."
"And let's say that the return type is b for now."