The Comonad.Instance
provides the means to combine
Comonad instances with other type-classes.
Laws for Comonad.
Extension methods for Comonad.
Provides syntax for Comonad.
The Comonad.Type
should be inherited in type-classes that
are derived from Comonad.