Is `@Span` necessary? I thought `Span` was implicitly copyable?