As such, curry is more suitably defined as an operation which, in many theoretical cases, is often applied recursively, but which is theoretically indistinguishable (when considered as an operation) from a partial application.

Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may be identified.