Control.Comonad

Comonads

class Comonad w

liftW

wfix

cfix

(=>=)

(=<=)

(<<=)

(=>>)

Combining Comonads

class ComonadApply w

(<@@>)

liftW2

liftW3

Cokleisli Arrows

data Cokleisli w a b

Functors

class Functor f

(<$>)

($>)