Fix pass in stateT and eitherT MonadWriter instances#154

bamarsha wants to merge 1 commit into

rocq-community:masterrocq-community/coq-ext-lib:masterfrom

bamarsha:passbamarsha/coq-ext-lib:passCopy head branch name to clipboard