Doesn't seem very involved; for example (cilk inspired syntax): let f = spawn { print() } // fork ... wait f // join. f is a linear type You only

Doesn't seem very involved; for example (cilk inspired syntax): let f = spawn { print() } // fork ... wait f // join. f is a linear type You only pay the complexity cost if you need it.