let copy (d: t) = d