The type of the η-reduced function is the same as our oritional function!
→
The type of the η-reduced function is the same as our original function!
The type of the η-reduced function is the same as our oritional function!
→
The type of the η-reduced function is the same as our original function!