putsSP :: [b] -> SP a b -> SP a b
Output all the values in a list, equivalent to repeated uses of putSP.
putsSP xs sp = foldr putSP sp xs
