Indeed. The first step to grokking Lisp, from Haskell (or any typed language), is to realize that Lisp's "list" is not equivalent to any single data type you've used before, but it's really a general weakly-structured representation of any and all structured types.

Even this solution is not completely equivalent to Lisp megasum -- it fails to compile on the list `('a)` ;-)