I still think the right thing to do is to make (type-of <function>) return a type signature for the function. Then the user's program can conclude whatever it wants. I support this idea, especially since it extends well to the notion of generic functions where type information is specified. -- danny