we don't have infix:<|> this early in the setting.

This reverts commit 2254a8016aa23475924901c4d899a9a7ad22fdb5.