MicroHs-0.8/tests/Infix.ref