Aahz wrote: > In article <lkk7kq5i38.fsf at pc150.maths.bris.ac.uk>, > Michael Hudson <mwh at python.net> wrote: >> >>Not sure it's useful, but it was fun :) > > You're sick. Go sit over by the Martellibot. Not sure I'm all that happy to sit near somebody who's busy implementing such systematic typechecking...!!!-) Alex