How to curry functions?

4

But why does map change the type of the functor? I would have expected that it only changes what's inside.