<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 8/7/2013 11:00 AM, David Thomas
wrote:<br>
</div>
<blockquote
cite="mid:CAJUDvcgLvK71rF+WaAu5MS-wdFjvqK+7r1E9ECr4s6=z-dJZtg@mail.gmail.com"
type="cite">
<div dir="ltr">twice :: IO () -> IO ()<br>
<div class="gmail_extra">
<div class="gmail_quote">
<div>twice x = x >> x<br>
<br>
</div>
I would call that evaluating x twice (incidentally creating
two separate evaluations of one pure action description),
but I'd like to better see your perspective here.<br>
</div>
</div>
</div>
</blockquote>
<br>
x is only evaluated once, but <i>executed</i> twice. For IO, that
means magic. For other types, it means different things. For
Identity, twice = id!<br>
</body>
</html>