16 Aug
2020
16 Aug
'20
1:30 a.m.
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 ++