PassByCopy:
    | Primitive
    | Error
    | CopyArray
    | CopyRecord
    | CopyTagged