MonadTrans (PerlT s)
MonadIO m => MonadIO (PerlT s m)