extend only the result instance's eigenclass, not all instances of that instance's type