correct bug: (->) is infix right