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

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.