nLab reader-writer (co)monads -- table

(co)monad name	underlying endofunctor	(co)monad structure induced by
reader monad	$W \to (\text{-})$ on cartesian types	unique comonoid structure on $W$
coreader comonad	$W \times (\text{-})$ on cartesian types	unique comonoid structure on $W$
writer monad	$A \otimes (\text{-})$ on monoidal types	chosen monoid structure on $A$
cowriter comonad	$\array{A \to (\text{-}) \\ \\ A \otimes (\text{-})}$ on monoidal types	chosen monoid structure on $A$ chosen comonoid structure on $A$
Frobenius (co)writer	$\array{A \to (\text{-}) \\ A \otimes (\text{-})}$ on monoidal types	chosen Frobenius monoid structure