-- Issue #18776 (allow spaces in backticked operators)

main = print (9 ` div ` 4)