Can external bindings be universally quantified?

Hi yall,
Its been my experience in many bindings that I want them to be universally quantified polymorphic functions. The JS has no concern that different applications in the same function have the same concrete types, and repeating the bindings is prohibitively verbose. Does that make sense?

TIA
Alex