A quantum probability monad