def METHOD_NAME(args):
    def _var(arg):
        if isinstance(arg, Declaration):
            return arg.variable
        elif isinstance(arg, Variable):
            return arg
        else:
            return Variable.deduced(arg)
    return Tuple(*map(_var, args))