Impose constraint on MonadIO return type

Question

I'm trying to make an instance of MonadIO for a type that represents computations in the cloud. So liftIO would represent an IO action that is executed locally.

transient-universe, the library that provides this, provides a function localIO that does exactly this. But it is not composable in some other library that could embed any other MonadIO.

The problem is, that localIO requires the return type of the IO action to be an instance of Read, Show and Typeable. Whereas MonadIO doesn't contemplate this case:

class MonadIO m where
    liftIO :: IO a -> m a

In my case, I'd need to write another type class, that does it:

class RestrictableMonadIO (m a) where
    liftRestrictedIO :: IO a -> m a

So it would allow me to do this:

instance (Read a, Show a, Typeable a) => MonadIO (Cloud a) where
    liftRestrictedIO = localIO

Is there a way of doing this without having to declare my own typeclass?