<div dir="ltr">That both makes sense and helps to the limit. Very much appreciated. <div><br></div><div>If you (or anyone) has a link for an intro to type systems of this sort for the uninitiated, I would read it! Like I said, I've read over the docs for parameterized types a few times and am still a little fuzzy about some of the terms and concepts being thrown around.</div>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 21, 2014 at 6:12 PM, Asumu Takikawa <span dir="ltr"><<a href="mailto:asumu@ccs.neu.edu" target="_blank">asumu@ccs.neu.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 2014-03-21 18:00:46 -0700, Ben Dean wrote:<br>
>    Frequently throughout a program I am working on, I would like to specify a<br>
>    probabalistic choice between two (for the sake of simplicity) procedures<br>
>    that might be applied at runtime.<br>
<br>
</div>I posted an answer here:<br>
  <a href="http://stackoverflow.com/a/22572116/898073" target="_blank">http://stackoverflow.com/a/22572116/898073</a><br>
<br>
Let me know if that makes sense/helps.<br>
<br>
Cheers,<br>
Asumu<br>
</blockquote></div><br></div>