Add 'split' and 'and' functions for Process.
Add 'first' and 'second' functions to Process, and implement 'split' (and therefore 'and') in terms of them. This decouples process from the particular monadic interface of Output.