Last night I was referring to some problems with categories as first class values. I remember that I have read something about it. http://www.ph.ed.ac.uk/~bj/paraldor/WWW/docs/discussion/define.pdf I've already put a copy of this and the other papers in that directory to http://portal.axiom-developer.org/refs/articles/ Ralf