Control.Comonad
class Extend w
(=>=)
(=<=)
(<<=)
(=>>)
class Comonad w
liftW
wfix
data Cokleisli w a b