<div dir="ltr">Actually, my data model with one list of tasks and another list of dependencies could get very tedious. For the example picture I posted, I could write something like:<div><br></div><div style>openbox &gt;&gt; ( readmanual &lt;|&gt; ( attachwires &gt;&gt; plugin &gt;&gt; turnon ) ) &gt;&gt; use</div>
<div style><br></div><div style>but I&#39;d be in trouble if, say, there was something else that could start after &quot;attachwires&quot; but had no other relationships to any other tasks and would run on into the &quot;use&quot; era. Is there any kind of super-monad that could express that?</div>
<div style><br></div><div style>It&#39;s the same problem as trying to decompose an asymmetrical Wheatstone Bridge into serial and parallel sub-networks. Is there any solution to that?</div><div style><br></div><div style>
Adrian.</div><div style><br></div><div style><br></div></div>