Wouldn't it be a good idea for the modified code to actually disallow
  the use of <|> directly, then?

Yes, Fergus, it's a great idea.  The modularised version of the program
does just that.  I figured it was too trivial to bother the mailing list
with.  -- P


Reply via email to