foldr is catemorphism