Неполадки функции композиции

Question

Как я могу понять состав функции в следующем выражении?

map . foldr (.) id :: [b -> b] -> [b] -> [b] 

Answer 1

f :: [a->a] -> a -> a 
f = foldr (.) id 

Это занимает список функций и составить их вместе

, например

foldr (.) id [(+1),(+2)] == ((+1) . ((+2) . id)) == (+3) 

Функция приложение higest неподвижность и карта сделана последняя

map . foldr (.) id == \x -> map (foldr (.) id x) 

It карты foldr (.) id над списком (2-й аргумент) после применения первого аргумента (список функций)