Add a foldp example.