added some more combinators, for promoting monoids/semigroups to a Process1