अब, यह देखते हुए कि f, a टाइप का इनपुट लेता है और b टाइप का आउटपुट देता है, यह x टाइप को रोकता है, क्योंकि x अब f को पास किया जाने वाला है।
Now, given that f takes an input of type a and produces an output of type b, this constrains the type of x, because x is now going to be passed to f.