@typecheck_method(function=IR, min=IR, max=IR)
def copy(self, function, min, max):
    new_instance = self.__class__
    return new_instance(self.argname, function, min, max)
@typecheck_method(function=IR, min=IR, max=IR)
def copy(self, function, min, max):
    new_instance = self.__class__
    return new_instance(self.argname, function, min, max)