I think this discussion has reached a point where it is of utmost importance to re-read "Wadler's Law of Language Design", a law so fundamental to computer science that it can only be compared to quantum dynamics in physics: http://www.informatik.uni-kiel.de/~mh/curry/listarchive/0017.html :-) Cheers, S.