Control.Monad.Co

Monads from Comonads

type Co w

co

runCo

Monad Transformers from Comonads

data CoT w m a

Klesili from CoKleisli

liftCoT0

lowerCoT0

lowerCo0

liftCoT1

lowerCoT1

lowerCo1

posW

peekW

peeksW

askW

asksW

traceW