Polymorphism in the Prelude

[Henning Thielemann]

Am 11.08.2014 um 18:03 schrieb amindfv at gmail.com:

> El Aug 11, 2014, a las 7:12, Henning Thielemann <schlepptop at henning-thielemann.de> escribió:
>
>>
>> I'd prefer to be able to read such code without the help of an editor. E.g.
>>
>>    map (Map.map (Maybe.map (map f)))
>>
>> makes everything obvious without any tool.
 >
 > Why not just explicitly annotate the types?

First, the type annotation becomes quite cumbersome if the second 
argument of 'map' is not explicitly written and second, I think it is 
the wrong way round to select a function via types when I can already 
name the selected function.