Re: Polymorphism in the Prelude

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

El Aug 11, 2014, a las 7:12, Henning Thielemann 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.