{-# 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