let
copy =
Datatype
.undefined