<div dir="auto">Ah, you're right. I wrote that while recovering from a migraine, and it was bogus!</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 11, 2020, 11:57 PM Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Wed, Nov 11, 2020 at 09:47:43PM -0500, David Feuer wrote:<br>
<br>
> If m is occlusive, so is ReaderT e m:<br>
> <br>
> [...]<br>
> <br>
> I believe this works for StateT as well.<br>
<br>
I am puzzled what you mean by that, given that<br>
<br>
    State s a = StateT s Identity a<br>
<br>
and while "Identity" is "occlusive", State is not.<br>
<br>
    λ> import Control.Monad<br>
    λ> import Control.Monad.Trans.State.Strict<br>
    λ> runState (liftM2 (const id) (put True :: State Bool ()) get) False<br>
    (True,True)<br>
    λ> runState ((const id) (put True :: State Bool ()) get) False<br>
    (False,False)<br>
<br>
-- <br>
    Viktor.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>