[Agda] Priority of infix and prefix constructors

[ ]

HiI want some infix constructor has a bigger priority than some prefix one. How can I do it?
For example, I want 
\lambda x x # y 
instead of\lambda x (x # y)
(I know that I can't use \lambda, but for example)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160325/ef86ce9c/attachment.html