haskell - 这个 `deriving newtype` 语法是什么？

Question

来 self 阅读的一篇博文

-- | Newtype for disabling logging
newtype NoLoggingT m a
  = NoLoggingT { runNoLoggingT :: m a }
  deriving newtype (Functor, Applicative, Monad)
  deriving (MonadTrans) via IdentityT

instance Monad m => MonadLog (NoLoggingT m) where logLn _ _ = pure ()

deriving newtype 语法是什么？它是哪个扩展名，它有什么作用？请在 anwser 中提供指向其文档的链接。

Answer 1

它让 GHC 使用 GeneralizedNewtypeDeriving 策略来派生实例。您需要启用 DerivingStrategies扩展名。