Comment on Maybe Everything Is a CoroutineparentComments−valenterry2yAfter reading that, I think freer can in fact encode the continuation monad.−eru2yhttps://www.reddit.com/r/haskell/comments/7yll62/comment/duh... also suggests that.A quick scan of https://okmij.org/ftp/Haskell/extensible/more.pdf doesn't yield much one way or another.
Comments
After reading that, I think freer can in fact encode the continuation monad.
https://www.reddit.com/r/haskell/comments/7yll62/comment/duh... also suggests that.
A quick scan of https://okmij.org/ftp/Haskell/extensible/more.pdf doesn't yield much one way or another.