@top T { Foo }

prefix[@inline] { "::" (A "::")* | (A "::")+ }

Foo { prefix A }

A { "a" }

# Compiles

a::a

==> T(Foo(A, A))
