4 ms·There's also foldr: http://foldr.com/ http://foldr.com/by alexkay 17y agoThere's also foldr: http://foldr.com/ http://foldr.com/