I think the problem is that runPar is currently allowed to return an IVar to the code that called it, which could then pass that IVar into a different runPar in

I think the problem is that runPar is currently allowed to return an IVar to the code that called it, which could then pass that IVar into a different runPar invocation. That's not something the runtime system expects, or the type system should allow.