Algebraic data types: Difference between revisions

Tailspin doesn't have algebraic types or type names, so here using a tag. Neither does it have destructuring (which seems to be posited in the typeproblem ofstatement). Arguably, pattern matching in Tailspin is more readable while still as concise.