Hi again - Apologies for another post from me so soon (and for replying to my own post). Regarding my post about arrows and Haskell (and the idea of trying to define Haskell's grammar in terms of arrows) - upon thinking about that, I'm pretty much of the opinion that it'd be an immense task ... I also think that although maybe some of the grammar might be possible to define using arrows, it wouldn't be possible to do all of it :-) . So, I'll politely "withdraw to a corner" for a little while, resolving to think a bit more before I post! ;-) - Andy