Moved to https://bertails.org/2015/02/15-abstract-algebraic-data-type.