{-# OPTIONS_GHC -fno-warn-orphans #-}

module Control.Monad.Accum.OrphanInstances where

import Control.Monad.Accum
import Control.Monad.Trans.Accum qualified as T

instance (Monoid w, Monad m) => MonadAccum w (T.AccumT w m) where
  look :: AccumT w m w
look = AccumT w m w
forall w (m :: * -> *). (Monoid w, Monad m) => AccumT w m w
T.look
  add :: w -> AccumT w m ()
add = w -> AccumT w m ()
forall (m :: * -> *) w. Monad m => w -> AccumT w m ()
T.add