Natural -> (listof X) - build-list
(listof X) -> (listof X) - filter
(listof X) -> (listof Y) - map
(listof X) -> Boolean - andmap
(listof X) -> Boolean - ormap
Y (listof X) -> Y - foldr
Y (listof X) -> Y - foldl
Natural -> (listof X) - build-list
(listof X) -> (listof X) - filter
(listof X) -> (listof Y) - map
(listof X) -> Boolean - andmap
(listof X) -> Boolean - ormap
Y (listof X) -> Y - foldr
Y (listof X) -> Y - foldl