I think you have some point there, but I don't know "it's conceivable someday ..." is good enough reason to mess with the Standard curried notation. If we accept @adriaanm's notation for bounds, that already overloads the standard meaning. Plus Scala already lets you write `type Function1Int[A] = Function1[Int, A]`.