implement Foldp as a special signal type