A simple real-world example showing an image-processing Comonad Published on November 27, 2014 under the tag haskell Introduction A Comonad is a structure from category theory dual to Monad. Comonads are well-suited for image processing – Pretty much everyone on the internet Whenever Comonads come up, people usually mention the canonical example of evaluating cellular automata. Because many image