Ed Murphy wrote: >Out of curiosity, how early did you realize that you were importing >the Ship of Theseus paradox?
I didn't, as I'm not. I'm confident that we'll end up with either the extensional or the intensional identity mechanism for partnerships. The paradox arises from using both mechanisms at once. -zefram
