Expanded definitions of foldr1 and foldl1