(Hopefully) Safe fork-join parallel abstractions