Hello,<br><br>&nbsp;&nbsp;&nbsp;&nbsp; My brain is a &quot;out to lunch&quot;. I have read the paper &quot;Beautiful Concurrency&quot; (as well as a bunch of &quot;gaming&quot; papers regarding multi cores). I am playing with the &quot;Account&quot; example in the paper. In the paper, the alias &quot;type Account = TVar Int&quot; is used.&nbsp; I want to actually apply the function &quot;withdraw&quot; to an example &quot;Account&quot; parameter. I keep getting a type check error. Can someone give me a concrete example of
<br><br>&gt; withdraw ......<br><br>??<br><br>Kind regards, Vasya<br><br>