派生 MonadThrow、MonadCatch、MonadBaseControl、MonadUnliftIO 等是否安全？

我正在重构一些旧代码，这些代码是多态但类型类受限的 monad：

class ( MonadIO m
      , MonadLogger m
      , MonadLoggerIO m
      , MonadThrow m
      , MonadCatch m
      , MonadMask m
      , MonadBaseControl IO m
      , MonadUnliftIO) => HasLogging m where

在旧代码中，应用程序的主要 monad 是......

type AppM = ReaderT Env IO

...现在将更改为...

newtype AppM (features :: [FeatureFlag]) a = AppM (ReaderT Env IO a)
  deriving (Functor, Applicative, Monad, MonadReader Env, MonadIO)

在这种情况下，自动导出以下内容是否安全：

• 单子投掷
• 莫纳德捕获
• 单子掩码
• MonadBaseControl 类
• MonadUliftIO

在不深入 GHC 内部的情况下，当编译器自动派生事物时，培养对实际发生情况的直觉的最佳方法是什么？

用户手册包含有关每个扩展的文档，并且它不断变得更好；这是有关推导的部分，这应该足以了解实际发生的情况：https://downloads.haskell.org/~ghc/latest/docs/html/user_guide/glasgow_exts.html#extensions-to-the-deriving-mechanism

在这种情况下，所有这些类都由GeneralizedNewtypeDeriving.

{-# LANGUAGE GeneralizedNewtypeDeriving, UndecidableInstances #-}

module M where

import Control.Monad.IO.Unlift
import Control.Monad.Catch
import Control.Monad.Trans.Control
import Control.Monad.Base
import Control.Monad.Reader

newtype Foo a = Foo (ReaderT () IO a)
  deriving (Functor, Applicative, Monad, MonadIO, MonadUnliftIO, MonadThrow, MonadCatch, MonadMask, MonadBase IO, MonadBaseControl IO)

一般来说，用户定义类的三个相关扩展是GeneralizedNewtypeDeriving, DerivingVia, and DeriveAnyType。而且它也值得启用DerivingStrategies明确正在使用的内容。