22 Nov
2012
22 Nov
'12
1:18 a.m.
As others have mentioned, diagrams already uses (#) for reverse application (but with a high precedence instead of low). We also already use (&) for something else -- namely constructing literal points and vectors, e.g. (1 & 2) or (3 & 0 & 4). But these are fairly minor considerations. I'm still in favor of the proposal (especially given that (&) will not be exported by the Prelude). So, +1 from me. -Brent