úÎÁÂNone'!"&(*+-0134579<>@CFHIJKLNUVNone&!"&(*+-0134579<>@CFHIJKLNUV8Produces a declaration in the spirit of the following: v instance MonadBase b m => MonadBase b ($(pure transformerT) m) where liftBase = $(conE conName) . liftBase 8Produces a declaration in the spirit of the following: æ instance MonadBaseControl b m => MonadBaseControl b ($(pure transformerT) m) where type StM ($(pure transformerT) m) a = ComposeSt $(pure transformerT) m a liftBaseWith = defaultLiftBaseWith restoreM = defaultRestoreM  Type of NewtypeConstructor nameAmount of inner layers Type of NewtypeConstructor name Layers of inner transfomer types       None&!"&(*+-0134579<>@CFHIJKLNUV  Given a kind * -> * type, peel off a kind (* -> *) -> (* -> *)+ type (the monad-transformer) and another * -> * type (the inner monad).      None&!"&(*+-0134579<>@CFHIJKLNUV<Given a name of a newtype wrapper produce an instance of Control.Monad.Trans.Class..<Given a name of a newtype wrapper produce an instance of Control.Monad.Base./, which is specialised for monad transformers.<Given a name of a newtype wrapper produce an instance of Control.Monad.Trans.Control.  .<Given a name of a newtype wrapper produce an instance of Control.Monad.Trans.Control.  /, which is specialised for monad transformers.    newty_7lIj9Z7ENwmL7oKKVpDLtmNewtypeDerivingNewtypeDeriving.THNewtypeDeriving.RenderingNewtypeDeriving.ReificationControl.Monad.Trans.Class MonadTransControl.Monad.Base MonadBaseControl.Monad.Trans.ControlMonadTransControlMonadBaseControlmonadTransInstancemonadBaseTransformerInstancemonadTransControlInstance#monadBaseControlTransformerInstancepurifyQ tryToReifyclassP composeExppeelTransformerNewtypenewtypeTypeNamenewtypeConstructorNamenewtypeInnerType reifyNewtype