Ah, so quantum computation is even more subtly affected by evaluation semantics than non-strict languages. That was a very clear and enjoyable explanation!

Note to self: start working qrust now, before it becomes a big problem.