import Control.Comonad