Polymorphic Annotations

The form (polymorphic exp) causes the expression exp to be analyzed in a polymorphic manner. That is, if the result of (polymorphic exp) is immediately bound to an identifier (e.g. by let or define), then all references to that identifier that occur below that binding will be polymorphic. The annotation has no runtime effect.