what exactly is copied in a copy() of a data class? just the properties declared in the constructor?

Try it 😉.