0 | module Control.Comonad

2 | public export

3 | interface Functor m => Comonad m where

4 |   constructor MkComonad

5 |   extract : m a -> a

6 |   comult : m a -> m (m a)