foldRight -> :\