The form (polymorphic exp) causes the expression exp to be analyzed in a polymorphic manner, depending on the configuration specified in the Edit|Preferences...|MrSpidey Analysis window.