A hopefully better foldp example