DerivingVia machinery for adding Amazonka functionality to a reader-like transformer

This is useful when you have a ReaderT-IO-like stack implemented with an AppT wrapper to which you will add the MonadAWS instance:

newtype AppT m a = AppT
  -- ...
  deriving MonadAWS via (ReaderAWS (AppT m))

Complete example:

{-# LANGUAGE DerivingVia #-}

module Main (main) where

import qualified Amazonka
import Control.Lens
import Control.Monad.AWS
import Control.Monad.AWS.ViaReader
import Control.Monad.Reader
import Control.Monad.Trans.Resource

data App = App
  { -- ...
  , appAWS :: Env
  }

instance HasEnv App where
  envL = lens appAWS $ x y -> x { appAWS = y }

newtype AppT m a = AppT
  { unAppT :: ReaderT App (ResourceT m) a
  }
  deriving newtype
    ( Functor
    , Applicative
    , Monad
    , MonadIO
    , MonadUnliftIO
    , MonadResource
    , MonadReader App
    )
  deriving MonadAWS via (ReaderAWS (AppT m))

runAppT :: MonadUnliftIO m => AppT m a -> App -> m a
runAppT f app = runResourceT $ runReaderT (unAppT f) app

main :: IO ()
main = do
  app <- undefined
  runAppT someAction app

someAction :: (MonadIO m, MonadAWS m) => m ()
someAction = do
  resp <- send newListBuckets
  liftIO $ print resp