Trait Comonad
higher_cat
pub trait Comonad<A, B>: Extend<A, B> + Extract<A> { }
A Comonad is the opposite of a Monad, and also anything which implements Extend and Extract.
Comonad
Monad
Extend
Extract
impl<W, A, B> Comonad<A, B> for W where W: Extend<A, B> + Extract<A>,