.copy: |T: Type|(x: T) -> T
.deepcopy: |T: Type|(x: T) -> T
.Error: ClassType