<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 2, 2014 at 7:31 PM, Alia <span dir="ltr"><<a href="mailto:alia_khouri@yahoo.com" target="_blank">alia_khouri@yahoo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="color:rgb(0,0,0);font-family:HelveticaNeue,'Helvetica Neue',Helvetica,Arial,'Lucida Grande',sans-serif;font-size:10px;background-color:rgb(255,255,255)">I would like to define a higher-level record type which contains,<br>for configuration purposes, a certain set of jobs for execution. Let's <br>say we call it a JobSet and which could possibly look like this:<br><br>data JobSet = JobSet<br>    { jobsetID          :: String<br>    , jobsetName        :: String<br>    , jobs              :: [Job]  <-- yes I know this is not legal<br>    }<br></div></blockquote></div><br>Are you sure you don't want</div><div class="gmail_extra"><br></div><div class="gmail_extra"><font face="monospace, monospace">    data JobSet a = JobSet</font></div><div class="gmail_extra"><font face="monospace, monospace">      {jobsetID   :: String</font></div><div class="gmail_extra"><font face="monospace, monospace">      ,jobsetName :: String</font></div><div class="gmail_extra"><font face="monospace, monospace">      ,jobs       :: [Job a]</font></div><div class="gmail_extra"><font face="monospace, monospace">      }</font></div><div class="gmail_extra">?<br><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div></div>