This is interesting (and from 1990):<br><br><a href="http://groups.google.co.uk/group/comp.lang.functional/msg/655bb7bbd0fd8586">http://groups.google.co.uk/group/comp.lang.functional/msg/655bb7bbd0fd8586</a><br><br>(Not sure if this is well-known. It seems like it either is, or it should be. Either way, I just stumbled across it.)<br>
<br>