{-# OPTIONS_GHC -fno-warn-orphans #-} module Control.Monad.Accum.OrphanInstances where import Control.Monad.Accum import qualified Control.Monad.Trans.Accum as T instance (Monoid w, Monad m) => MonadAccum w (T.AccumT w m) where look :: AccumT w m w look = forall w (m :: * -> *). (Monoid w, Monad m) => AccumT w m w T.look add :: w -> AccumT w m () add = forall (m :: * -> *) w. Monad m => w -> AccumT w m () T.add