Merge pull request #176 from L0neGamer/cps-writer-state

remove Monoid constraint on MonadState CPS.WriterT

Author: sjshuck

CHANGELOG.markdown

@@ -1,3 +1,7 @@
+Unreleased
+-----
+* Remove `Monoid` constraint from `MonadState` instance of `CPS.WriterT`
+
 2.3.2 -- 2025-12-07
 -----
 * Add `Accum` monad.

Control/Monad/State/Class.hs

@@ -164,7 +164,7 @@ instance MonadState s m => MonadState s (ReaderT r m) where
     state = lift . state
 
 -- | @since 2.3
-instance (Monoid w, MonadState s m) => MonadState s (CPS.WriterT w m) where
+instance (MonadState s m) => MonadState s (CPS.WriterT w m) where
     get = lift get
     put = lift . put
     state = lift . state