Delete draft for 'Foldable: destroy a data-type and get another'