Control.Comonad

Extendable Functors

class Extend w

(=>=)

(=<=)

(<<=)

(=>>)

Comonads

class Comonad w

liftW

wfix

Cokleisli Arrows

data Cokleisli w a b