| However, the example you give in bullet 2 doesn't | make sense - I suspect you want to say | | infixr :$ | data T = Int :$ Int | T Int | | * "show (1 :$ 2 :$ T 3)" produces the string "1 :$ (2 :$ (T 3))" ... Indeed so. | Was there a good technical reason for dropping that portion | of the Report (1.3 onwards), btw? Preferable to bulleted text, IMHO. I have no idea; I wasn't editing for 1.3. But I'm nervous about adding it again...it's late in the day. Simon