MonadBaseControl and mapServerT

[Gracjan Polak]

Hi,

I recently discovered goodies provided by monad-control and try to use it everywhere it makes sense. Right now I'm stuck at trying to lift simpleHTTP properly.

Current type of simpleHTTP:

simpleHTTP :: ToMessage a => Conf -> ServerPartT IO a -> IO ()

Expected type of simpleHTTPLifted:

simpleHTTPLifted :: (MonadBaseControl IO m, ToMessage a)
                 => Conf -> ServerPartT m a -> m ()

I know how to create a lifted version for each and every one of my monads, but there are quite many of them so a generalization would be welcome! How to do it?

More info in my stackoverflow question:

http://stackoverflow.com/questions/27733699/monadbasecontrol-how-to-lift-simplehttp-from-happstack

--
Gracjan