Syntactic sugar to combine processes

[np]

Consider a process p of type: < A > for some session A, to use it we need a channel following session A, a typical pattern is to allocate such a channel and consume its dual:

example = proc()
   new (c : A, d : ~A)
   ( @p(c)
   | PROC_USING_d )

Initial suggestion with terse syntax:

example = proc()
   @p(d : ~A)
   PROC_USING_d

Others suggestions are welcome

[Danten]

maybe using the keyword new again so it is obvious that some sort of binding happens?

example = proc()
   @p(new d : ~A) 
   PROC_USING_d