> RFC -- Request for Context The discussion on comp.lang.ml initially with subject "Newbie polymorphism" and now with subject "Free type variables in SML".