Chapter 7 - HOFs

/cc @fabioyamate @laurocaetano
oh, that is true. My bad on this, for some reason I had in my head `map` implemented with `unfold`... :confused:, this is why I thought that the type kept the same `[a] -> [a]`, but it is `t -> [a]`