This is very similar to what is called "ML-style" or "Let-polymorphism" (technically ML's Let-polymorphism has a few other syntactic restrictions).
Αυτό μοιάζει πολύ με αυτό που λέγεται "ML-style" ή "Let-πολυμορφισμός" (τεχνικά μιλώντας ο Let-πολυμορφισμός της ML έχει μερικούς ακόμα συντακτικούς περιορισμούς).