[valenterry]

After reading that, I think freer can in fact encode the continuation monad.

[eru]

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.