नक्कीच, जर मी f म्हणतो, तर याचा अर्थ हे फंक्शन g असू शकत नाही, जरी g मध्ये एक पॅरामीटर आहे, जरी g मध्ये एक पॅरामीटर प्रकार आहे जो डबल आहे, जो 5.6 चा प्रकार आहे.
ನಿಸ್ಸಂಶಯವಾಗಿ, ನಾನು f ಎಂದು ಹೇಳಿದರೆ, g ಒಂದು ಪ್ಯಾರಾಮೀಟರ್  ಅನ್ನು ಹೊಂದಿದ್ದರೂ, g ಒಂದು ಪ್ಯಾರಾಮೀಟರ್  ಪ್ರಕಾರವನ್ನು ಹೊಂದಿದ್ದರೂ ಸಹ, ಇದು 5.6 ರ ಪ್ರಕಾರದ ದ್ವಿಗುಣವಾದ ಪ್ಯಾರಾಮೀಟರ್  ಪ್ರಕಾರವನ್ನು ಹೊಂದಿದ್ದರೂ ಸಹ, ನಾನು ಈ ಫಂಕ್ಷನ್ಅನ್ನು g ಅನ್ನು ಅರ್ಥೈಸಲು ಸಾಧ್ಯವಿಲ್ಲ.