可以通过 MonadTransformer 的类型类约束来推导出它的 Applicative 实例。在一个 MonadTransformer 中，其内部 Monad 实现了 Functor 和 Applicative，因此可以在 MonadTransformer 类型类约束中将 Applicative 约束为 Monad 的实现类型。

具体的代码示例如下：

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}

import Control.Monad.Trans.Class
import Control.Monad.Trans.Maybe
import Control.Monad.Trans.Reader

class (Monad m, Applicative m) => MonadTrans' t m | t -> m where
  lift' :: (Monad n) => n a -> t n a

instance MonadTrans' MaybeT Maybe where
  lift' = MaybeT . liftM Just

instance MonadTrans' (ReaderT r) ((->) r) where
  lift' = ReaderT . const

在这个例子中，我们定义了一个 MonadTrans' 类型类，它有两个约束条件，一个是 Monad，另一个是 Applicative。在类型类的函数定义中，我们定义了一个 lift' 函数，它接受一个 Monad n 的计算，返回一个 t n a 类型的计算。我们还通过函数依赖声明 t -> m 来确保 t 与 m 类型是相同的。

然后，我们为 MaybeT 和 ReaderT 分别实现了 MonadTrans' 类型类的实例。在这些实例中，我们使用了 liftM 或 const 函数来实现 lift' 函数，从而为 Maybe 和 函数类型添加了一个 MonadTransformer 的 Monad 实例。因此，我们就可以通过 MonadTransformer 中的 Monad 自然推导出 Applicative 实例。