The Quantum IO Monad, implemented in Haskell