Making sure we are technically correct is appreciated, thank you. But yes, that's a bit of a "structural vs nominal typing" distinction, and we seem to agree t

Making sure we are technically correct is appreciated, thank you. But yes, that's a bit of a "structural vs nominal typing" distinction, and we seem to agree that a "structural typing" interpretation makes most sense here.