[Agda] How to set up fixities for record parameters?

[Vag]

Aha, I've remember this old bug:

http://code.google.com/p/agda/issues/detail?id=213

Thanks for advices,
Sorry for excessive noise,
Vag.