Operator precedence help

[Henning Thielemann]

On Sun, 16 Aug 2020, David Feuer wrote:

> It sure does seem crowded around there. I'd love to have 4.5 or 5.5. Going up to 6 runs into arithmetic. Going
> down to 4 hits up against Functor and Applicative stuff, which is a tad unfortunate but I think probably not as
> bad in practice. So I think I'll go with 4 and 5. Thanks, y'all!

I would use 5 for cons, like : and ++