On Tue, 20 Nov 2012, Edward Kmett wrote: > Note: (>>>) is a completely different operator. > >>> is flipped (.). The proposed & is flipped $. I see. I was confused by the introduction which mentioned (>>>).