Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming