It's a tiny bit better to match "EOI" before the `~~>` operator.
If that is not yet the case everywhere we should establish this convention.