liftL and liftR combinators for Process1