I've updated my proposal for a sugared notation for arrows:
http://www.soi.city.ac.uk/~ross/arrows/sugar.html
with a very rough preprocessor for the new constructs, based on hsparser
(which was a great help). None of this will make sense unless you've
read John Hughes's arrows paper.
Any comments would be greatly appreciated.
-- Ross Paterson
