remove λ infix macro. We will prefer the reader macro