branchで非決定性の選択をする。forwardと組み合わせると、有向グラフ上のランダムフォークが簡単に書ける。 command foo :: string -> never { ["reached at foo, from ", pass] | text:concat | cout; "foo" | forward hub };command bar :: string -> nev…