* posts/2013-01-26-AlgebraicDataTypes.lhs: