An instance of the MonadIO class for a zipper:

     instance (MonadIO (t2 m), MonadT t1, MonadT t2, Monad m) => MonadIO ((t1 :> t2) m)

Re-exports Control.Monad.IO.Class for convenience.