Control.Comonad

class Comonad ɯ

(=>>)

(=>=)

(=<=)

wfix

data Cokleisli ɯ a b