[OJFord]

Define a protocol where __pow__ returns the type of self, and use that for the argument and return type of this function.