j
k
j a
j l
I'm not sure what you mean by that, but semantically IO is definitely *not* a state monad. Under any circumstances or any set of assumptions.
Ehm? Why not?
Back to the thread
Back to the list
