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