Cold intellect cannot stare long into that function,

Your function type may be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.