Good points about folding and pattern matching on algebraic types. Thanks.

Of course, there is TYPECASE in CL and some similar macro in Clojure, but Haskell's pattern-matching syntax is more concise.