Assume there already exist a few different python implementations of some abstraction. For definiteness, let\'s say we have various classes representing quaternions, with ro
