let
copy (d: t) = d