That's exactly how I see it. One could have also, for example, lists of decorators,

    @a[1]
    def f(x):
        ...