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.
Read next
Hands That Cannot Reachheartbeat1515 · 
Any Insight Into That.sefumiles · 
Dark Chocolate Is More Than Just an Antioxidant: Cocoa Flavanols Modestly Improve Blood Pressure and Endothelial Function in Clinical Trialstheworldaroundme · DIY Journey Building and Protecting My Standing Fan for Long Lasting Use.the-lead ·
From @foxglove