Implement foldC