[Haskell-cafe] best practice for lifting of IO and could lifting be automated?

[Yuras Shumovich]

On Sat, 2015-10-24 at 02:07 +0300, Yuras Shumovich wrote:
> 
> It could not be done by compiler because compiler doesn't not
> semantics. For example this post describes difficulties with
> exception
> handling in CPS monad.

Sorry, forgot to insert the actual link:
http://www.yesodweb.com/blog/2014/05/exceptions-cont-monads