Example: Erwig's diets datatype.