j
k
j a
j l
G'day all. Quoting Jonathan Cast :
(By the way, you *do* have the equations lift (return x) = return x [...]
(By the way, you *do* have the equations
lift (return x) = return x [...]
Right. And you could, at least in principle, implement "return" this way in all monad transformers. Cheers, Andrew Bromage
Back to the thread
Back to the list
