finishing up the stateless/stateful versions of the rest of the combinators