<div dir="ltr">I would hesitantly say that PrimMonad's types are all unboxed and this means that any instance of it is inherently strict. Lazy state monad relies on the laziness of the tuple it uses to hold the state, for example.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 9 April 2015 at 04:49, Ken Takusagawa II <span dir="ltr"><<a href="mailto:ken.takusagawa.2@gmail.com" target="_blank">ken.takusagawa.2@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>I notice that the strict ST monad has an instance for PrimMonad but the lazy ST monad does not.  Is there a reason why, or is merely an oversight?<br><br></div>(What I Am Really Trying To Do: get a purely lazy stream of random values out of mwc-random.)<span class="HOEnZb"><font color="#888888"><br><br></font></span></div><span class="HOEnZb"><font color="#888888">--ken<br></font></span></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>