A comonad also known as a cotriple is the categorical dual of a monad. this package provides transformers of comonads.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.