A Monad for simulating quantum processes.