
 0 | module Control.Comonad.Trans
 1 | 
 2 | import Control.Comonad
 3 | 
 4 | %default total
 5 | 
 6 | public export
 7 | interface ComonadTrans (0 t : (Type -> Type) -> Type -> Type) where
 8 |   lower : Comonad w => t w a -> w a
 9 |