It seems like the type checker could call out polymorphic functions both when compiling and even highlighting them in the editor when checking for type errors.