Okay, I get foldr now