of course if the #monad is called M the #comonad is called ... W
https://hackage.haskell.org/package/comonad-5.0.8/docs/Control-Comonad.html
(TIL: Wario
https://en.wikipedia.org/wiki/Wario *
https://www.mariowiki.com/Mario_%26_Wario
* and Mario is for 丸い? 🤔 https://en.wiktionary.org/wiki/%E3%81%BE%E3%82%8B%E3%81%84#Japanese)